Hi Fellow Villagers! does any individual have any working experience in employing a hot tub at their home but not lined below a Lanai? Striving to figure out if we have to invest $eight-10k (ouch) with a Lanai extension or simply put in the hot tub on our BBQ patio https://izmirtente46666.birderswiki.com/1332688/not_known_facts_about_izmir_pergola