Concerns with Mining (Both the department and Z-level)

[QP Evergrande]

On the subject of mining, would it be possible to give the ore scoop an option so that it will collect rock/ice as well as ore? Gragg buys rock sometimes, and I figure the barkeep ought to be able to do something or other with the ice.