Well the rain did come, and I need not have bothered to pump in from a spring, but this is a wonderful lead into summer.

We had been pumping from this spring when the level was quite low but then we were caught off guard by a big rain event, and this pump needed to be rescued. Now checked and serviced it's good to go again.