Hi Fellow Villagers! does any one have any experience in using a hot tub at their home but not coated underneath a Lanai? Hoping to figure out if we have to commit $8-10k (ouch) on the Lanai extension or maybe set up the recent tub on our BBQ patio place https://izmir-awning21915.tnpwiki.com/6714165/the_izmir_pergola_diaries