Hello fellow Villagers! does any person have any experience in utilizing a very hot tub at their home but not coated less than a Lanai? Striving to determine if we need to invest $8-10k (ouch) over a Lanai extension or simply set up the recent tub on our BBQ patio https://izmirawning50258.mdkblog.com/39912966/the-ultimate-guide-to-izmir-awning