As others have noted, OEM tires generally are crappy. Some models get better stock rubber than others. 10K is really premature for them to wear out, but if she is tough on the vehicle, hard braking, jack rabbit starts, etc. etc. and ignored proper tire pressures, certainly in the realm of possibility.

As a general rule crappy tires last longer than good tires, not the other way around. :)