Hello fellow Villagers! does any one have any knowledge in utilizing a warm tub at their home but not covered under a Lanai? Striving to figure out if we have to expend $eight-10k (ouch) with a Lanai extension or perhaps put in the recent tub on our BBQ patio space https://izmirawning10787.wikiap.com/1383506/the_smart_trick_of_izmir_awning_that_no_one_is_discussing