At the risk of answering my own question, I've now found the same pump on the bay, it's made by an Italian company called GP who are still in existence, according to the blurb they were fitted to Avengers, some Hunters and the Iranian clone the Pakyan (sp?), new old stock and imported by Moprod back in the '70's, the whole unit works out cheaper than just a service kit!
tigger