Electrickid:

If your dad's power supplies are only drawing 15 amps at most, why doesn't he just cut off the 20-amp plug and replace it with a standard 15-amp 3-wire plug instead of bending pins on it?