Hi fellow Villagers! does anybody have any practical experience in utilizing a very hot tub at their house but not coated beneath a Lanai? Trying to figure out if we need to invest $8-10k (ouch) on a Lanai extension or just set up the recent tub on our BBQ patio https://tarpaulin46530.wikifiltraciones.com/3670552/fascination_about_izmir_pergola