WD40 might actually do the job too, though it doesn't last too long so you might have to reapply soonish. Most 'back to black' plastics products will help..
IMO it's not stained but actually discoloured from sun/rain or somesuch. Maybe a bit of heat from a hairdryer might work too?