Hello Fellow Villagers! does anybody have any working experience in utilizing a sizzling tub at their home although not covered underneath a Lanai? Striving to figure out if we have to expend $8-10k (ouch) over a Lanai extension or just put in the hot tub on our BBQ patio location https://erickuxwtp.illawiki.com/1397936/the_fact_about_izmir_awning_that_no_one_is_suggesting