From what I gather 7500 is still enough to make a positive difference. I read an article a while ago that the idea of 10,000 steps came from a Japanese word that was intended more as an approximation than a specific goal.
I like to get 10,000 steps, not least because my regular route for gives...