I think there should be a section in the manual about reflashing the device, from Windows and from Linux (at least), and covering all aspects and pitfalls. There's a description on the wiki, but in my opinion that's not good enough (and the version there isn't complete enough).