Here in Hong Kong, this pencil http://www.zebrapen.com/pencil-pocket.html is readily available and tiny. If you can't find a source, let me know.