Sure, but they don't *need* giant machines for a small population. Coal mining in Wyoming uses a giant excavator, and a giant dump truck where you have to climb up a flight of stairs to get to the cab. But small versions of these machines will fit in your garage. But even the little ones are not pick and shovel devices. They will also probably be remote controlled, so the operators don't constantly have to be exposed to radiation and torn spacesuits.It's going to take a while to get enough people and materials to the point where they're building giant machines.
First step is getting to Mars alive and in good health. Nothing I've seen from Elon seems to address that essential part.How many people do you need to build solar powered mining machines at any scale?
How many people do you need to build the solar cells?
How many people do you need to mine the dopants to build the solar cells?
A colony that's going to survive long term even with care packages from Earth is going to need to be pretty big. None of this Lost In Space Robinson Family stuff.