[Richard]

What Jeff said !!!!!!! You may have to make a tool by heating and bending a screwdriver into a right angle at the tip in order to extract the rest of the seal. Be careful not to score the bore with a sharp tool.

For what it’s worth, I have done the same thing on seals a couple of times, and scratched my bald head as to why the new one obviously didn’t fit.

Thanks to Jeff, good eye.