The next problem with the #PentiumPro is more serious: the disk drive sometimes makes loud repeated clicks, as if it was trying to imitate an old alarm clock.
I wouldn't be surprised if it was the reason why the computer ended up in the trash.
Also, I couldn't get the the PS/2 mouse to work despite the jumper being set correctly. It could be caused by the RTC battery being dead (there is an option in the BIOS about PS/2 mouse), but I'll need to investigate a bit more.