Nothing in the rule book says that. What ever your follow up comments are just cut and paste that reply in, until such time as you can find something in the rulebook that does say that.
You can use a pick instead of a shovel. So if I have two shovels I can use two picks instead of them.