Hi Fellow Villagers! does anybody have any encounter in employing a hot tub at their home but not lined less than a Lanai? Trying to determine if we must expend $8-10k (ouch) on the Lanai extension or simply set up the new tub on our BBQ patio spot and see https://tarpaulin93681.wikicommunications.com/5458246/5_tips_about_tarpaulin_you_can_use_today