Hi Fellow Villagers! does everyone have any encounter in using a very hot tub at their dwelling but not lined less than a Lanai? Attempting to determine if we must expend $8-10k (ouch) over a Lanai extension or just put in the hot tub on our BBQ patio area and https://kyleraczwq.wikibriefing.com/3274736/detailed_notes_on_tarpaulin