Hello Fellow Villagers! does any one have any experience in employing a hot tub at their house although not covered beneath a Lanai? Trying to determine if we have to spend $8-10k (ouch) over a Lanai extension or maybe install the hot tub on our BBQ patio place and see https://troyzawuo.wikitidings.com/6308032/details_fiction_and_tarpaulin