We'll find out in the 10q based on inventory if there was any mining done. They're planning shipments this quarter. So I don't know how they could do that unless they're mining.