Hi fellow Villagers! does any one have any practical experience in using a very hot tub at their home but not included beneath a Lanai? Hoping to figure out if we have to invest $8-10k (ouch) over a Lanai extension or simply just install the new tub on our BBQ https://daltonqtrmg.loginblogin.com/41390208/5-simple-statements-about-izmir-awning-explained