Hi Fellow Villagers! does any one have any knowledge in employing a very hot tub at their household but not coated under a Lanai? Attempting to figure out if we need to expend $eight-10k (ouch) with a Lanai extension or simply just set up the recent tub on our BBQ https://izmir-awning22233.verybigblog.com/33383870/pergola-no-further-a-mystery