Change MIDI USB device name

Hi- I'm using MIDIUSB with great success. How can I change the name of the MIDI device shown on Windows Device Manager? It says "Arduinio Zero". Grepping for that string turns up nothing. I'd like to pick my own name. Any ideas?

Thanks, JJS

I think I found the answer: There is an .inf file that defines the name associated with the driver (arduino.inf in the drivers directory). One could customize that file to change the name.

I made a how-to just for that. Hope it helps:
http://liveelectronics.musinou.net/MIDIdeviceName.php