Hi Fellow Villagers! does anybody have any experience in employing a very hot tub at their property although not coated underneath a Lanai? Trying to determine if we need to spend $8-10k (ouch) over a Lanai extension or perhaps install the new tub on our BBQ patio space and see https://rowanmplhz.snack-blog.com/34102485/5-essential-elements-for-pergola