Hello Fellow Villagers! does anybody have any working experience in using a very hot tub at their dwelling but not included underneath a Lanai? Hoping to figure out if we have to invest $8-10k (ouch) over a Lanai extension or maybe install the recent tub on our BBQ patio place https://izmir-tente15713.wikiap.com/1362648/not_known_facts_about_izmir_pergola