My F10 has the auto sports/paddle shift. Believe all the hype and do the research it really is a stupendous feat of engineering giving you every option in a flexible package.
Can't rate it highly enough and I would have never before considered an auto but it works so well with the 520d. I also read that the F10 was never really intended to be a manual, evidenced by the small footwell/pedal box area.