Hi fellow Villagers! does any individual have any expertise in employing a warm tub at their house but not covered beneath a Lanai? Striving to figure out if we have to commit $8-10k (ouch) on a Lanai extension or simply put in the new tub on our BBQ patio spot https://pergola93713.wikissl.com/1374501/detailed_notes_on_izmir_pergola