They really don't. Each individual project is sourcing their parts on their own, and even when there's a subcontractor involved we're often talking to the manuf

They really don't. Each individual project is sourcing their parts on their own, and even when there's a subcontractor involved we're often talking to the manufacturer as well. So Infineon almost certainly has some record that these parts were specifically for Europa Clipper.