I'd put my money on either JMK, Difeo, Park Ave... Hopefully he got it at JMK as they have a great service department and shop...
On topic: That's a great lease price, BMW must be cleaning the 2.5, 3.0, and 4.4's out of their inventory. It would bother however if the NEW engine was significantly better than the current 3.0 one, I'd feel somewhat short...