Hello Fellow Villagers! does anybody have any experience in utilizing a very hot tub at their household but not included less than a Lanai? Seeking to determine if we must devote $8-10k (ouch) on a Lanai extension or just install the new tub on our BBQ patio location and see https://pergola18070.westexwiki.com/1364297/5_tips_about_tarpaulin_you_can_use_today