On May 28, 2014, at 4:48 PM, Steve Schlink wrote: > I think you are referring to what is commonly called a spudger. It's a KS 6320 orange stick. Doug Jones jones at cs.uiowa.edu