That's easy to calculate. We don't know which mineral it was this time, but taking an estimate of 3.7 g/cm³ from his post,
Taking an estimate of 3.7 g/cm³ (but we don't know which mineral was in this case), and assuming something like 1.5 for bone density (which is at the higher side, but I'm allowing that these protective plates may be a lot denser than the skull bones themselves, no idea if it's correct though) that would be like 1200 lbs.
Taking an estimate of 3.7 g/cm³ (but we don't know which mineral was in this case), and assuming something like 1.5 for bone density (which is at the higher side, but I'm allowing that these protective plates may be a lot denser than the skull bones themselves, no idea if it's correct though) that would be like 1200 lbs.