Hi fellow Villagers! does anybody have any encounter in using a warm tub at their home but not protected below a Lanai? Trying to determine if we must invest $8-10k (ouch) with a Lanai extension or simply set up the hot tub on our BBQ patio spot and see If https://waylonyuohx.nico-wiki.com/1352314/a_review_of_pergola