graveky 5240 paint

Hi, I'm looking for the red/orange paint for an older Gravely 5240 walk behind mower...does anyone have info on the part number or best options where to buy some...Thank You