Hi Fellow Villagers! does anyone have any working experience in using a very hot tub at their property but not coated below a Lanai? Hoping to figure out if we must devote $eight-10k (ouch) on a Lanai extension or simply just set up the recent tub on our BBQ patio https://izmir-pergola57542.wikiannouncement.com/8136892/pergola_options