Hi fellow Villagers! does any individual have any working experience in employing a warm tub at their home although not included less than a Lanai? Trying to determine if we must commit $8-10k (ouch) over a Lanai extension or simply just put in the hot tub on our BBQ patio https://tarpaulin86306.humor-blog.com/32987037/5-easy-facts-about-izmir-awning-described