[zerocrates]

Ah! I was looking around for one: not on the battery pack, not on the iron-to-cable connection, but didn't think about the tips.

So you can plug an unused tip into your Walkman's headphone jack for safekeeping...