Does the manual say 7500??

I've read some members changing at 7500, especially if they're highway miles.

I'm usually around the 5000 mile mark. I commute 55 miles to work so it's a lot of highway miles.