Hello fellow Villagers! does any one have any working experience in using a sizzling tub at their home but not lined below a Lanai? Attempting to figure out if we must devote $8-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio region https://johnnylmjgy.wikitidings.com/6305004/tarpaulin_options