That cleaned up really nicely! Great job! I don't own one yet, I do like them and their older siblings, the 99s.
The only way I know to get the case back to it's original color is a lot of work. I've restored the color on some older plastic items by wet sanding the oxidized layer off. Sand with about 200 grit wet/dry paper with a bucket of water handy to keep things wet, sand until you're down to the original color then start working through the grits say 200, 320, 400, 600, down until you get to 12 or 1500 grit then use a good buffing compound and wax it to bring the shine back. I haven't had much success with mechanical sanders on plastic. They go too fast for me and I melt the plastic so I do it all by hand. It's a LOT of work for something that size.
Rodney