Hi fellow Villagers! does any one have any working experience in using a very hot tub at their residence but not included beneath a Lanai? Seeking to determine if we need to devote $8-10k (ouch) over a Lanai extension or merely put in the hot tub on our BBQ patio https://emilioqpolg.activablog.com/33226348/5-easy-facts-about-izmir-awning-described