Hi Fellow Villagers! does any person have any working experience in using a hot tub at their house but not covered less than a Lanai? Hoping to determine if we have to commit $eight-10k (ouch) with a Lanai extension or perhaps set up the hot tub on our BBQ patio https://cristiangjwib.ampblogs.com/5-essential-elements-for-tarpaulin-70811510