Hello Fellow Villagers! does anyone have any practical experience in utilizing a hot tub at their home but not included under a Lanai? Trying to figure out if we need to invest $eight-10k (ouch) over a Lanai extension or merely set up the recent tub on our BBQ patio region https://izmir-tente96295.wikipublicity.com/6409718/a_review_of_pergola