I sold it to her for $7500. I can understand why she is asking a bit more since she just dumped some money into it on the timing belt, water pump and tires. I know that wasn't cheap. The stereo isn't that big of a deal, however if the amps were stolen, that would suck. That car has a kick ass system in it and with a nice sub, it hits hard.
It also has mazdaspeed cams, B&M SS, kartboy bushings, custom made exhaust, injen intake, DGmotorsports C/F sides. I think that's it.