Hello Fellow Villagers! does everyone have any experience in employing a hot tub at their home although not included below a Lanai? Hoping to figure out if we must commit $eight-10k (ouch) over a Lanai extension or perhaps set up the recent tub on our BBQ patio space and see https://manuelukblj.wikicorrespondent.com/6182714/the_best_side_of_izmir_pergola