Hello Fellow Villagers! does anybody have any experience in using a hot tub at their household but not included less than a Lanai? Trying to determine if we have to expend $8-10k (ouch) with a Lanai extension or perhaps install the recent tub on our BBQ patio spot and find https://izmir-tente83580.wikinstructions.com/1365926/tarpaulin_options