Sorry, I misspoke. I've been around for many years (Maybe the memory is starting to go) and have been familiar with Hoppe's #9 for many years, so it just slipped out in my reply above.
What I'm using today is Hoppe's Elite Gun Cleaner. It removes carbon, lead and copper - so they say.