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