However good the PDK may be, you will not go wrong with the manual. Besides, it's a lease - in 2 or 3 years you will choose again.