Personally, if it was my decision I would go with option 1. But, in the end you should do what you want to do.
I bought a jet black/fox red M3 a couple months ago, and I absolutely love the color combo. And yes, for resale value, I think it will do better in the long term than some other combinations out there.
You might want to push back on the price a little bit; I bought my E93 for $59k. It's optioned almost identical to your option 1, but it's a 2010 with 14k miles, so it still has nearly 2.6 years left on the warranty. Also consider things like tires, recent maintenance, etc. If you need to immediately do any of these things, it won't be cheap.
Just my 2 cents. Keep us posted with whatever you choose, and include pics!
2010 E93 M3, 2013 F10 M5, 2008 K1200S, 2004 R1100S, 2000 E46 323Ci