Hi Fellow Villagers! does anybody have any practical experience in utilizing a warm tub at their household but not included beneath a Lanai? Attempting to determine if we need to spend $8-10k (ouch) on the Lanai extension or just install the hot tub on our BBQ patio place and see https://izmir-awning50481.tdlwiki.com/1350801/the_fact_about_izmir_awning_that_no_one_is_suggesting