Have you tried setting the ports on the switch to 10Mbit?

Surely he must have tried that, since it's the second thing on the list of ethernet troubleshooting tips I linked at the top of the thread.