Hello fellow Villagers! does everyone have any knowledge in using a hot tub at their dwelling although not included under a Lanai? Making an attempt to figure out if we must spend $8-10k (ouch) on the Lanai extension or maybe put in the recent tub on our BBQ patio region https://rafaelganlt.wikienlightenment.com/7609255/tarpaulin_options