Hi fellow Villagers! does anyone have any working experience in utilizing a sizzling tub at their home but not lined less than a Lanai? Striving to figure out if we have to shell out $eight-10k (ouch) with a Lanai extension or just install the hot tub on our BBQ patio https://johnathanuaing.blogaritma.com/32347084/the-ultimate-guide-to-izmir-awning