This is just a WAG. The ethernet port on the mother board is probably 10 Mbs connection and the PCI card is a 100/1000 Mbs card, but unless the machine is on an extremely high speed internet connection, or on a corporate network, it's limited by the connection speed of the ISP.
And I agree, a bigger power supply should sometime be in your friends future.