I may be able to share what I have learned. I am a mechanical engineer, so of course, I overanalyze everything. I too am about to build a garage that will need to meet the requirements for a lift (2-post Rotary brand). They also spec out 3,000 psi concrete. Yes, the most common concrete is 3,000, but that is just nominal.
So, I spoke to Rotary, as well as local installers. For liability reasons, they will not tell you to use anything else. However, in talking to their engineers, for example, they design for a factor of safety of 3:1 on their lifts. That puts their capacity for a 10,000 lb lift at 30,000 lb. Well, I'm buying a 10,000 lift for 4,000 to 6,500 lb vehicles. Although that is not the safety factor for compressive loads on concrete, if gives you an idea that they are overdesigning their products. I also spoke with the lift installers, and I asked them realistically if the spec can fluctuate. He said the biggest concern they have is not in the concrete strength, but thickness. For example, they require a 4.25" minimum thickness, so I am specifying a 5" minimum pad throughout the garage. I could have just poured footers around the posts, but it's probably just as easy to pour the whole slab. It takes more concrete, but it's still only about $83/cubic yard.
By the way, you can do some simple feel good calculations on the posts. For example, I am installing a 2-post, and they require 3,000 psi. If the post sizes are similar, and there are twice as many, you know your load is more distributed. I know that's not a definite answer, but IMHO, I wouldn't worry too much with whether you have 3,000 psi. I would bet the 3,000 psi is a spec carried over from a 2-post spec. They can have cantilever loads, and would present a different torque than a 4-post. BTW, I thought about bumping up the psi rating, but even just for the garage I didn't want to manage getting multiple types of mix from concrete trucks. I can just see someone goofing it up.
I think you're fine.