Is it possible it could have been done remotely?, Normal printer bios flash is via a connection to PC is it not? I seem to remember doing one over the network once.

That does sound very interesting. it sounds like the code had been writen custom for the job?