I was just given a set of these by my grandma, they were my grandpa's, but I don't have the manual, so I was wondering if you guys could help me out. Doing a google search only resulted in sales links, and I want to know if/where I can buy replacement ink, and how to do it, and the same with the lead for the pencil. Any help would be greatly appreciated!