Hi Fellow Villagers! does anybody have any practical experience in employing a warm tub at their house but not lined beneath a Lanai? Hoping to figure out if we have to shell out $eight-10k (ouch) with a Lanai extension or simply set up the hot tub on our BBQ patio https://izmir-awning05295.bloguerosa.com/32993060/pergola-options