I'd say changing the oil filter at 5,000 and topping off would probably get to 7,500 safely with perhaps 10k as a max; but if it's a quality oil filter it's more of a waste there. I say try for 7,500 once and see where things stand. I wouldn't push it beyond that, yet.