I think my previous efforts cleaned out any dirt, but failed to add any shine.
I do not have any CLR, per Ken, but will try that in the future.
But just now I did ultrasonic with mean green and water. It did not seem to do much, although I think it would have cleaned a dirty housing. Brass brush seemed to help a bit with the shine. So I added some mother's mag polish and brushed it vigorously then buffed with clean rags. It is now shinier but unlike other pinball metal materials, it just is not going to have a high shine to it. Pics below.
I will buy new for restored games and live with mild shine for other games.