Hi Fellow Villagers! does everyone have any knowledge in utilizing a very hot tub at their dwelling but not included beneath a Lanai? Trying to figure out if we have to expend $8-10k (ouch) on the Lanai extension or just put in the recent tub on our BBQ patio space https://israelsivhd.ourabilitywiki.com/9863603/fascination_about_izmir_pergola