Hi Fellow Villagers! does any one have any expertise in using a very hot tub at their household although not included less than a Lanai? Seeking to determine if we must shell out $eight-10k (ouch) over a Lanai extension or perhaps install the hot tub on our BBQ patio space https://erickipzga.birderswiki.com/1327655/details_fiction_and_tarpaulin