Hello Fellow Villagers! does anyone have any practical experience in utilizing a very hot tub at their house but not included under a Lanai? Seeking to figure out if we must shell out $8-10k (ouch) on a Lanai extension or merely put in the new tub on our BBQ patio https://riverkpsuv.empirewiki.com/8804861/fascination_about_pergola