Hi Fellow Villagers! does anybody have any practical experience in using a very hot tub at their household although not coated beneath a Lanai? Seeking to figure out if we need to shell out $8-10k (ouch) with a Lanai extension or just put in the recent tub on our BBQ https://izmirtente90987.thenerdsblog.com/39898633/everything-about-izmir-pergola