I'd hoped the Arduino software would be a bit more reliable by now, but that's life.
Thanks - that cracked it. I didn't realise that 1.0.1 existed, so when I used that, used a 192.168.1.xxx address, and connected to the Arduino by a flipped cable and not through a hub, ping worked.
Its always the arduino! ![]()