Hello fellow Villagers! does anyone have any practical experience in utilizing a hot tub at their home but not coated less than a Lanai? Trying to figure out if we need to invest $8-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio https://izmirawning27036.tusblogos.com/34419254/detailed-notes-on-izmir-pergola