Hi Fellow Villagers! does anyone have any expertise in utilizing a warm tub at their home but not covered below a Lanai? Hoping to determine if we have to commit $8-10k (ouch) on a Lanai extension or maybe install the new tub on our BBQ patio spot and see In https://izmir-tente06035.eqnextwiki.com/4848002/the_smart_trick_of_izmir_awning_that_no_one_is_discussing