Like others have said, dealer probably didn't reset the Oil Life. If you choose to go a full 10k, then reset the Oil Life yourself and make note when you are due in 5k more. You should probably check your oil level anyway, just to be safe.
If it were me, I'd do an oil change. I do a full...