Hello Fellow Villagers! does anyone have any practical experience in using a hot tub at their dwelling although not protected below a Lanai? Hoping to figure out if we need to shell out $8-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio https://tarpaulin52581.wikimidpoint.com/5065644/5_tips_about_izmir_awning_you_can_use_today