Hi Fellow Villagers! does everyone have any expertise in utilizing a incredibly hot tub at their home although not covered under a Lanai? Hoping to figure out if we must shell out $8-10k (ouch) over a Lanai extension or simply just set up the hot tub on our BBQ patio https://devinvmykv.wikilowdown.com/6769680/the_izmir_pergola_diaries