Hello Fellow Villagers! does everyone have any experience in utilizing a warm tub at their dwelling although not coated underneath a Lanai? Seeking to determine if we have to spend $8-10k (ouch) on a Lanai extension or simply put in the hot tub on our BBQ patio spot and see https://izmir-tente13344.wikigop.com/1268253/the_fact_about_izmir_awning_that_no_one_is_suggesting