These are laser printed, but ABS key caps, though there are varieties of lasered printing?! The exceptions are those three function keys with blue colour text. They are pad printed.
Similar to runeazn, just have got my DK1087 MX blues for few days, after the paining payment was made for the "welcome to EU" charge. The good part is that I cannow again enjoy the pleasure of typing, except very minor pitfalls of design and manufacturing comparing with Filco's Tenkeyless.
BTW, the brilliant function of build-in Numlock/calculator doesn't apply to OS X, how frustrated a pitfall of another.
For people would like to have Ducky and laser printed and PBT keys, DK9000 series are modules that suit you.