I have looked but cannot find these referenced currently - I have also asked on the cytron.io web site.
I eventually found these (as well as the github reply) in the Datasheet at https://docs.google.com/document/d/1DJASwxgbattM37V4AIlJVR4pxukq0up25LppA8-z_AY/edit
USB VID & PID (CircuitPython & Arduino Core)
VID - 0x2E8A
PID - 0x1000_
you may refer to this for RP2040's VID and PID https://github.com/raspberrypi/usb-pid