Hi Fellow Villagers! does any one have any practical experience in employing a warm tub at their house although not lined beneath a Lanai? Trying to figure out if we need to shell out $8-10k (ouch) with a Lanai extension or simply set up the hot tub on our BBQ https://andrestulbr.blogmazing.com/33167716/detailed-notes-on-izmir-pergola