> The firmware is in the MPLAB package, I have mpl32202. Its name is
> psf12000.hex or somethings like this.

Aha!  THAT's what I needed to know.  (You'd think they might have
mentioned this in a read.me file or something.) Thanks, all.