Interesting, I never realized that area was a different color! One more thing to add to the DIY list. 
I also asked my buddy who's super good at IDing things, and he thinks it's a grey/medium grey with a light blackwash.
Here's a brightened copy and yeah, looks grey.
[ATTACH=full]232975[/ATTACH]