Never heard of that.
The main non-US “vintage” pumpers were the Japanese ones of which the Sharp was the best known. I can’t be sure without checking references in the library/VAG, but I think similar things were also at times made in S America and SE Asia and the Philippines. But the chances of any of those getting to the U.K. in the 60s seem pretty slight.
Was your friend’s dad perhaps posted somewhere exotic in military or other foreign service?