Hi fellow Villagers! does any individual have any practical experience in using a very hot tub at their residence but not included under a Lanai? Attempting to figure out if we need to devote $eight-10k (ouch) over a Lanai extension or just install the recent tub on our BBQ patio https://dallashjofu.csublogs.com/41197814/the-basic-principles-of-izmir-tente