Hi fellow Villagers! does any one have any practical experience in using a hot tub at their household but not covered less than a Lanai? Trying to figure out if we must shell out $8-10k (ouch) on a Lanai extension or maybe put in the recent tub on our BBQ https://tarpaulin62693.dreamyblogs.com/34534698/detailed-notes-on-tarpaulin