Hello Fellow Villagers! does any individual have any working experience in employing a incredibly hot tub at their residence although not lined beneath a Lanai? Striving to determine if we need to spend $8-10k (ouch) over a Lanai extension or maybe put in the hot tub on our BBQ patio https://emiliovyacc.governor-wiki.com/1382515/details_fiction_and_tarpaulin