Hello Fellow Villagers! does any person have any expertise in employing a very hot tub at their household but not coated under a Lanai? Attempting to determine if we need to shell out $8-10k (ouch) with a Lanai extension or maybe set up the recent tub on our BBQ patio https://gunnerndnxt.bloguerosa.com/32981846/fascination-about-pergola