Lawn Mower Handle Knobs

Did Craftsman manufacture a lawn mower handle star knob in a blue color?  That knob was on my lawn mower handle and I don't know if it was the original.  The lawn mower model no. is 917.370410, the mower was purchased from Sears and the lawn mower owner's manual dates back to 2012.  Please advise.  A repair shop manager informed me that Craftsman never made blue star handle knobs, only knobs in black, yellow, and red.   If that's the case, then where did I get this blue knob from?  Thanks for your help!