Hello fellow Villagers! does any one have any expertise in utilizing a hot tub at their house although not included underneath a Lanai? Making an attempt to determine if we have to spend $8-10k (ouch) on the Lanai extension or just put in the hot tub on our BBQ patio https://andresrlruw.vigilwiki.com/6777752/a_review_of_izmir_pergola