Hi Fellow Villagers! does anybody have any knowledge in utilizing a very hot tub at their home although not lined under a Lanai? Attempting to figure out if we need to spend $eight-10k (ouch) over a Lanai extension or merely install the recent tub on our BBQ patio region and https://johnnyfkfzu.wikiannouncement.com/8166299/details_fiction_and_tarpaulin