I’m running the 7000 which is their PAO blend at work. I have it in a bunch of vehicles and I’ll try the 9000 next. I’m sampling vehicles as a test to see if it really is beneficial to use top tier products and extend services or service 3-5000 with budget products. Honestly, so far I can’t tell a difference except spending less time doing services.