Finally are filling up the pool as we speak. Got the liner adjusted to fit, and the water is going in, and it looks like we'll have no wrinkles!
Now the sticky bit. They are using a rather noisy large vacuum to hold the pool liner in place while it fills with water. Been filling since around 5 pm with a garden hose, and it's going to go quite a bit longer. The vacuum is very noisy, can hear it inside the house somewhat, with the windows closed, and our neighbours are close.
Here's the big question. Can we shut off the water/vacuum in a couple hours and leave them off overnight?
Guy who repaired the vinyl liner said yes, just leave the vacuum on 15 minutes in the morning before turning on the water.
Guys who've been doing the work on the pool have said absolutely not, if we shut off the vacuum, we'll end up having to drain the pool and restart.