Hello Fellow Villagers! does any individual have any expertise in using a very hot tub at their dwelling but not coated less than a Lanai? Attempting to figure out if we need to expend $eight-10k (ouch) on the Lanai extension or merely install the recent tub on our BBQ patio https://garrettwulfq.qodsblog.com/34159182/pergola-no-further-a-mystery