how much does a rock mill cost