Hi Fellow Villagers! does everyone have any expertise in using a very hot tub at their home but not covered below a Lanai? Trying to figure out if we have to shell out $eight-10k (ouch) on the Lanai extension or simply put in the recent tub on our BBQ patio https://troymokgw.dailyblogzz.com/34713513/not-known-facts-about-izmir-pergola