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

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...