Hi Fellow Villagers! does everyone have any encounter in using a very hot tub at their household but not lined less than a Lanai? Trying to determine if we have to shell out $8-10k (ouch) with a Lanai extension or perhaps install the recent tub on our BBQ patio space https://izmir-pergola87306.plpwiki.com/6688675/5_tips_about_tarpaulin_you_can_use_today