CircuitPython Support for MicroMod SAMD51 - need USB PID

I am adding the MicroMod SAMD51 board to CircuitPython (similar to the support I added for the MicroMod RP2040). I’ve got the pins all mapped and everything else set, but I need an official USB PID for the board from Sparkfun before I can push support to the main repo.

Sparkfun folks, any ID what the PID would be? The SAM51 Thing+ used 0x0016, but I think the nRF and RP2040 boards took the next values in the sequence.

Thanks,

G

https://wiki.sparkfun.com/index.php?title=USB_PIDs Looks like it might be:

0x0020 SparkFun MicroMod SAMD51 Processor

Thanks for your contribution!