Hi Fellow Villagers! does anyone have any working experience in employing a hot tub at their household but not lined less than a Lanai? Hoping to figure out if we must devote $8-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio region https://pergola78888.lotrlegendswiki.com/1384225/5_tips_about_tarpaulin_you_can_use_today