I would contact your stereo or car's manufacturing and speak with their support. They should be able to verify that for you.
Do you know for sure that it still works with less than 9,500 songs when you remove a few songs to put you below that number?
B-rock