Hello Fellow Villagers! does anyone have any knowledge in employing a hot tub at their home but not covered underneath a Lanai? Attempting to determine if we need to commit $8-10k (ouch) with a Lanai extension or merely put in the new tub on our BBQ patio location and find https://izmirtente15702.wikimeglio.com/9722636/the_fact_about_izmir_pergola_that_no_one_is_suggesting