Hello Fellow Villagers! does everyone have any practical experience in utilizing a very hot tub at their house but not covered under a Lanai? Hoping to figure out if we need to commit $8-10k (ouch) on the Lanai extension or merely install the recent tub on our BBQ patio region https://stephenqpkgy.izrablog.com/34702996/izmir-pergola-an-overview