Hi fellow Villagers! does anybody have any practical experience in employing a very hot tub at their home although not included less than a Lanai? Hoping to figure out if we need to shell out $eight-10k (ouch) with a Lanai extension or just install the hot tub on our BBQ https://kameronfhebe.is-blog.com/40680197/the-izmir-pergola-diaries