Guesstimate the weight of this rock

I think I was basing that assumption on the average density of the Earth, which is dominated by the density of iron. Crustal rock would indeed be lighter.

Note to self: Edit “typical rock density” factoid in brain.