sencorp:
So am I correct to believe that at one time it did work
Not with the Ethernet library that comes included with Arduino.
Arduino's Ethernet library has used the W5100 chip, since at least Arduino 0012 released in 2008 (I haven't used the versions earlier than 0012).