Hello fellow Villagers! does anybody have any expertise in utilizing a very hot tub at their home although not covered under a Lanai? Attempting to figure out if we must spend $8-10k (ouch) on the Lanai extension or maybe install the recent tub on our BBQ patio space and find https://waylonrspjd.wikiannouncement.com/8139243/details_fiction_and_tarpaulin