And on more general history, which I may not have remembered right.

They were launched as Ensigns in 1982. The Elite (beech plain stock) and the Royale (walnut, chequered). And the Magnum, an FAC Elite. Ensign was a joint venture between Saxby & Palmer and I think the UK branch of Tasco?

That changed after a year or two, and they became Saxby & Palmer. The Royale and Magnum faded away. The Eilte changed name to Galaxy. At some point a synthetic stock version arrived, the Saturn.

The cartridges were originally plastic. They were unreliable and chipped and cracked easily. They were replaced with metal ones, that did not chip or break easily, but were still unreliable. There was a kit to put the innards of plastic cartridges in metal bodies.

The original pump was a huge bench-mounted thing. Later the Slim Jim came along. I preferred the former.