Do we have small metric taps/dies?

Specifically, I’m looking for a M2.5 die. If the shop doesn’t have any I’ll just pick some up from mcmaster.

Probably not. We had a small set of taps, those broken were probably not replaced.

Ouch. $35 each.

You might try MSC. Although they have some high $$ ones, they also have one that’s only $21.