Hello Fellow Villagers! does anyone have any practical experience in utilizing a incredibly hot tub at their home but not protected below a Lanai? Hoping to figure out if we need to devote $8-10k (ouch) on the Lanai extension or just put in the hot tub on our BBQ patio https://izmirawning40368.techionblog.com/34213813/the-definitive-guide-to-izmir-tente