The file 'Cracked D10 Dice 3D Printer Model' is (stl) file type, size is 785.0KB.
[Edit: Complete set here: http://www.thingiverse.com/thing:1646273]
I used the cell fracture tool in Blender to modify jlamarche's model to give it some texture.
Enjoy!