Hi Fellow Villagers! does any person have any knowledge in utilizing a incredibly hot tub at their house although not protected underneath a Lanai? Hoping to figure out if we need to spend $eight-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ patio https://izmir-tente86058.wikicarrier.com/516151/not_known_facts_about_izmir_tente