Question: how much did the piedra del sol weight?
Answer: about 24 tons