Hello Fellow Villagers! does everyone have any encounter in using a very hot tub at their household although not lined beneath a Lanai? Hoping to determine if we have to shell out $eight-10k (ouch) with a Lanai extension or just put in the recent tub on our BBQ patio place https://mariocheys.wikilentillas.com/1383709/5_tips_about_izmir_awning_you_can_use_today