Hello Fellow Villagers! does any one have any practical experience in employing a warm tub at their residence although not included below a Lanai? Hoping to figure out if we have to shell out $8-10k (ouch) with a Lanai extension or merely install the new tub on our BBQ patio https://titusstqja.dm-blog.com/34202617/little-known-facts-about-izmir-awning