Hello Fellow Villagers! does anybody have any experience in utilizing a hot tub at their household although not coated under a Lanai? Hoping to figure out if we must spend $8-10k (ouch) with a Lanai extension or perhaps put in the new tub on our BBQ patio place and find https://travisnygnr.wikibuysell.com/1375418/details_fiction_and_tarpaulin