The pump has been professionally serviced and is in good working order. It performs to 2 x 10-1.
eBay