Hey, I know this is totally out of the blue but I've been reading through the TemperPCE thread and saw that you have a proper set of the syscard*.pce bios files for the cd bin/cue rom backups.
They gave him a warning. This was at nearly the end of the school year. The teacher continued working there for a few weeks, but at the next school year he wasn't there anymore. So I don't know if he left or got fired ¯\_(ツ)_/¯