You are correct! It is Machine Gray and it is the best color!
I could not find the paint code on the car so I did a VIN search and found a site with all the info on this car (apparently it's loaded!) and listed the color. I edited my post.