There seems to be a recent flood of m5 f10 come onto the BMW auc market, most are 25-30k miles fully loaded starting @ £35kish which would surely be negotiable
0-60 in 4secs with potential for 40mpg on extra urban.
Anyone had some time with them in the real world?