Okay managed to find an applicable service manual and that's given the item code EC24B50D0, which doesn't come up with anything in a search but it has confirmed what I know.
The question now is what to get as a replacement. How are "detents" measured on rotary encoders?