Hello fellow Villagers! does anyone have any encounter in employing a hot tub at their house but not included underneath a Lanai? Seeking to determine if we have to shell out $8-10k (ouch) over a Lanai extension or perhaps install the new tub on our BBQ patio spot and see https://izmir-pergola45677.wikiparticularization.com/1390782/the_best_side_of_tarpaulin