Hello Fellow Villagers! does any one have any encounter in employing a hot tub at their home although not covered underneath a Lanai? Hoping to figure out if we must shell out $8-10k (ouch) on a Lanai extension or simply put in the recent tub on our BBQ patio spot https://izmir-pergola19528.wikicommunication.com/5275589/tarpaulin_secrets