Hi fellow Villagers! does anybody have any experience in using a hot tub at their house but not included less than a Lanai? Seeking to figure out if we have to devote $8-10k (ouch) with a Lanai extension or simply just install the recent tub on our BBQ patio space https://reidzzwto.verybigblog.com/33365758/5-tips-about-tarpaulin-you-can-use-today