Hi fellow Villagers! does any person have any encounter in using a very hot tub at their dwelling but not lined under a Lanai? Hoping to determine if we need to shell out $eight-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ patio https://manuelybzxq.theisblog.com/34314260/izmir-pergola-an-overview