Which encoder is this?

Does anybody knows which encoder this is ?
It’s the volume dial from a GeneralMusic WK4.