Those are the correct boxes for the 518.  I think that box carried over to the 519 as well.  You can tell from the one photo how much the photo has faded.  It originally was a medium gray. 

You can paint the tan trim red using plastic/vinyl paint.  It's a simple process.  First, wash it with soap and water.  Dry.  Second, wipe it down with methyl ethyl ketone (MEK) in order to remove the final slick finish on the trim.  The goal here is to create a rough surface to which the paint will adhere. Third, spray it down with a sandless primer.  Fourth, while the primer is still wet, paint with plastic/vinyl paint.  Let the first coat dry and spray it again.  Let it cure for about a week and you'll be good to go.  I use SEM paint that's made for use in the automotive industry.  It's used to paint trim, floor mats, etc. and is very durable. 

actually does work pretty well.  When I've had some pretty deep scratches on a nozzle casting, I would start with a pretty course grit sand paper and gradually work to a very fine grit used for wet sanding.  Then I would put it on the bench polisher.