Using Sparkfun's MP3 player shield with an Arduino Ethernet Pro - SPI problems

I have come to the conclusion that the W5100 chip may be using pin 9

You have come to the wrong conclusion, then. It does not use pin 9 for anything.