If you run regular dinosaur oil, I wouldn't go any more than 3,000 per change. After that far, it starts breaking down and sludging up and you can't get all that junk out of there no matter how often you change it.
Now if you run part or fully synthetic, I think 7,500 is entirely within...