Hello fellow Villagers! does any individual have any knowledge in utilizing a very hot tub at their house although not coated underneath a Lanai? Hoping to figure out if we have to expend $eight-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ patio https://andyaytnf.wikitidings.com/6290254/how_izmir_tente_can_save_you_time_stress_and_money