Hi Fellow Villagers! does any person have any encounter in utilizing a hot tub at their property although not covered less than a Lanai? Hoping to figure out if we have to invest $eight-10k (ouch) with a Lanai extension or simply set up the new tub on our BBQ patio https://izmir-tente11874.wikififfi.com/1382575/everything_about_izmir_pergola