Hello fellow Villagers! does any one have any experience in using a very hot tub at their house but not coated underneath a Lanai? Attempting to figure out if we must invest $eight-10k (ouch) with a Lanai extension or simply just put in the recent tub on our BBQ patio https://izmir-pergola92331.blogdal.com/34589112/tarpaulin-secrets