Does anyone know the specific rotary encoder in a DigiTech JamMan looper?

[kforte318]

I'm repairing a JamMan for a friend that had a snapped encoder shaft. I've got the part out and my best guess is that it's this:

https://www.alps.com/prod/info/E/HTML/Encoder/Incremental/EC12E/EC12E24204A9.html

However, I don't really have any way to know for sure and I'd like to before I go ordering parts. Has anyone had any experience with this repair or know where I can find the info?

Thanks!