Hi Fellow Villagers! does anybody have any knowledge in using a incredibly hot tub at their household but not included under a Lanai? Seeking to figure out if we have to expend $eight-10k (ouch) on the Lanai extension or just set up the hot tub on our BBQ patio space https://cesarhwgrb.oneworldwiki.com/6643781/how_tarpaulin_can_save_you_time_stress_and_money