I use #9 also, but I bought some MC25 cleaner/degreaser from Mil-Comm, and been very satisfied using it on the finished surfaces. Its a non-toxic water based formula, and a bit pricey.
I tried it because I was pleased with their TW 25B lube.
MC 25(R) Weapons Cleaner/DeGreaser : 01. MC25 cleaner/degreaser 4 oz pump bottle