Hi Fellow Villagers! does everyone have any practical experience in utilizing a warm tub at their house but not included below a Lanai? Hoping to figure out if we have to commit $eight-10k (ouch) on the Lanai extension or simply just put in the hot tub on our BBQ patio https://izmirawning71368.ampblogs.com/not-known-facts-about-izmir-tente-70854115