I imagine they use a process similar to Shapeways for that:

http://www.youtube.com/watch?v=B9VOwqtOglg

I wouldn't be all that surprised if Shapeways or similar is actually doing the printing.