Just a quick update, tried a few more times flashing from the pi, with different cables, different power supplies and different flash settings (baud etc) all with the same error.
Worked first time from my desktop pc using https://github.com/nodemcu/nodemcu-flasher :s
Now hopefully I can find...