Its a decent deal, but dont plan on making a big profit which means calculate your time into that also and its probably a wash... A $10k M3 quickly turns into a $12.5-$13.5 M3, which makes it about what its worth anyways. If you like the car, and want to drive it for a while, you could basically drive it for free for a few months while cleaning it up and getting it ready for sale. This is speaking from experience in buying and selling 60+ cars as personal vehicles, 5 of which have recently been M cars. Even getting a GREAT deal on all of them, by the end of the 6 months I drove them, I never made money but broke even after repairs and such. And just for the hell of it... here is a break down..
2000 E39 M5 - paid $18k, put in 2k, was totaled by idiot red light runner, got $23k....lucky.
2001 E39 M5 S2 - paid $21.5k , put in $2k worth of bushings and clutch, drove for 6 months, sold for 22k.
2001 e46 M3 - paid $13.5k, put in $1900, totalled by asian lady on her phone not knowing that traffic stopped, paid $15k by insurance
1997 E36 m3 - paid $8900, put $1500 into it, sold it for $7500
1998 E36 m3 - Paid $16k, sold for $16k.
More recently... bought 2003 E46 M3, 113k , cross suspension, militek exhaust, csl bumper, csl trunk, new headlights, no repairs needed. $14k
So unless its worth it to you to buy that car, go through the trouble of cleaning it up and fixing what it needs to be "in good shape" and MAYBE if your lucky make $1k, Id pass... unless you want to drive it.