Korg Poly800/EX800 Users

Hi everyone,
I have just bought an EX800, which needs to have its factory sounds
restored. Does anyone know if the WAV files for the Poly800 in
the "files" area here will do the job? If not, any other suggestions?
Thanks a lot,
Conor