Then the 221 Fireball came out a little later than the 222 Remington Magnum. The 222 Mag came out about 1958 --- I believe.
So, did the 7 1/2 Magnum primer come out in 1958 or 1963? If it came out in 1958, like I had in the back of my mind, it would make sense that Remington would have called it the 7 1/2 Magnum - to match the higher pressure of the 222 Magnum. Perhaps they changed the name to 7 1/2 Bench Rest when the 221 came out in 1963, IDK?
Just throwing it out there as I was wet behind the ears and very early into center fires in 1958. The center fires I had were the 7.92x57 and later the 6mm.