Hello Fellow Villagers! does any person have any working experience in using a very hot tub at their home although not covered below a Lanai? Attempting to determine if we must shell out $8-10k (ouch) over a Lanai extension or perhaps set up the new tub on our BBQ patio https://izmirawning46802.life3dblog.com/32951194/everything-about-izmir-pergola