They have a yellow ITR at a local BMW dealership. One of the salesmen told me the car had a Comptech Intake, a $2100 sound system, and was babied by the 50 year old guy who owned it. They want $25000 for it. Is this a decent price?

Also, the salesmen said it was babied by some 50 year old guy and was raced at Watkins Glen a few times. I don't believe this was the only racing and mods done to the car because there are red decals in front of the front wheel wells near the ground, small Mugen stickers in the back-side windows, and a West Point sticker in the back window. Do I take their word for it or haggle down the price because I know it's been raced?