Hello Fellow Villagers! does any one have any encounter in utilizing a hot tub at their house although not included underneath a Lanai? Hoping to figure out if we need to commit $8-10k (ouch) over a Lanai extension or simply just put in the recent tub on our BBQ patio https://beaugvcgg.wiki-racconti.com/8069040/5_easy_facts_about_izmir_pergola_described