Hello Fellow Villagers! does any one have any expertise in utilizing a incredibly hot tub at their home but not covered under a Lanai? Attempting to figure out if we must spend $eight-10k (ouch) over a Lanai extension or maybe put in the recent tub on our BBQ patio place https://izmirawning73603.ouyawiki.com/1381405/tarpaulin_options