I have an Elonex EB600.
Like you, I installed the Cool-Er firmware, so I cannot check the original anymore. But I'm convinced it's the same. Look and feel are identical.
Out of curiosity, did your EB600 also not have the MP3 player when the Elonex firmware was installed?