Remarkably cheap!
I'm paying the better part of $1200 to have essentially the same work done.

Ah well, it'll still be worth it.
As a complete aside, can someone explain to me why painting the plastic bits of a MINI body color is referred to as "color coding" in Europe? Here in the States, "color coding" typically means, well, coding something with color!

You know, where the color of the object tells you something about it? For example, wiring is usually color coded. (Different colors and stripes. Red means "hot", etc) Or casino chips/chits/markers. (Different colors for different values.) Or paperwork. "Customer keeps the pink copy.") Or MINI roofs. (Body color roof probably means it's a "One".)
Here, we'd say the stock MINI is
already colored coded: The metalwork is one color, like (say) red, while the plastic bits are black. Painting everything to match would "uncode" them, since the color no longer "indicates" anything.
I guess. I don't know. It's always just seemed an odd turn of phrase.
-Dave