Hello fellow Villagers! does anybody have any knowledge in utilizing a very hot tub at their home although not protected underneath a Lanai? Hoping to figure out if we must shell out $8-10k (ouch) with a Lanai extension or simply put in the hot tub on our BBQ patio region https://mylesjlicv.mywikiparty.com/1381878/everything_about_izmir_pergola