We did manage to get a neat PCI vendor ID: https://pcisig.com/membership/member-companies?combine=01de