Hi Fellow Villagers! does anybody have any working experience in utilizing a very hot tub at their home although not covered under a Lanai? Making an attempt to figure out if we must commit $8-10k (ouch) on a Lanai extension or simply put in the new tub on our BBQ https://tarpaulin63180.eveowiki.com/1377434/pergola_options