I have a weird question. Currently I am taking an enroute ATC class, and we are required to have a black and red pen for strip marking. I was thinking it would be easier to have one of those pencils that have black on one end and red on the other. The only problem is, I can't find them. Does anyone know where I get one of these dual ended pencils?