The UK's Old Lawnmower Club presents a clear picture of Atco colours:
1085Y85R for Red; S5040G30Y for Green - using NCS http://www.ncscolour.com/en/ncs/

[Linked Image]