Seems like its at the going rate for this car. I don't believe BMW will go lower than Two grand max.
I dont like Autohaus, but I did buy my first BMW from them.
If you can get it from them, just go elsewhere for servicing.
If you can get it for $55,000 then do it.
I also had a Jerez Black M3, be prepared for swirls galore...detailing is your life saver.