Swapping the router out with one which has Gigabit ports will almost certainly solve the issue.
It seems from other posts, you are an expert on this ChrisD. However, IMO, unless he is using the router as a switch to interconnect devices, the 100MB port on the router will only restrict traffic going out to the WAN - which is only a problem if his outbound connection is more than that.