Porsche PDK transmission

I was chatting with a colleague about his newish 911 and he told me that it is for sale.  I asked if it was a manual or an auto, and he said, with a proud grin, that it has PDK.  The car is also mildly modified so that it's comparable to Euro-spec models (I didn't ask for details) and he claims it gets 25 mpg.

If I had the money, I would definitely buy it.  I don't know what the name of the color of his car is, but it is gorgeous.