Has anyone used one of these or heard of them? I can't find much, just that they don't make them anymore and they are very heavy duty. Someone what's to sell me one used, it's old and they want $250-$300 for it. I feel like that is kinda high for a used one. But it is a stone mill, and I am having a hard time finding a stone mill, which is what I want. Do you think it would be worth it?