Ah - excellent pointer. After reading the comments in that header (about not assigning a identifier in firmware), I realized I should try plugging it into a different host. And sure enough, the generated device string was different.
I'll redirect my research to figure out how to rename that device at the host OS level.
Thanks again!