Can you use other brand lead or does it have to be the specific ones sold with this? I ask because I’ve been looking on Amazon and it seems like the pieces of colored lead that come with it have a piece of metal at the top, and the ones I have at home for other 2 mm lead pencils do not.