Hi fellow Villagers! does everyone have any practical experience in utilizing a hot tub at their home but not included less than a Lanai? Seeking to figure out if we need to invest $8-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ patio https://izmir-awning46542.onesmablog.com/5-essential-elements-for-tarpaulin-74806591