Hi Fellow Villagers! does anyone have any experience in utilizing a warm tub at their home but not covered below a Lanai? Seeking to figure out if we must devote $8-10k (ouch) with a Lanai extension or simply install the hot tub on our BBQ patio location and see Should https://izmir-awning91110.wikiusnews.com/1382980/the_izmir_pergola_diaries