They say "RP2040 microcontroller chip designed by Raspberry Pi in the United Kingdom", but they won't mention where it has been manufactured? So the institution wants to get the praise of being "western", without committing to pay their fair share by hiring local engineers and factories? I understand then the piece wouldn't cost £3.40, but you can't have your cake and eat it, can you? I wish they were more honest about it.