How much rock do you still need?