Even your sources are giving multiple years of 24/7 operation under ideal conditions to produce what is necessary for a single launch, that doesn't seem very reasonable to me. How much energy are we able to actually generate on Mars? From what I understand solar panels are not that great in the Mars environment. And any sort of material processing is going to take a whole lot of energy.

I just don't see a Mars colony as a reasonable goal without sending potentially thousands of rockets full of tools and materials, which is too expensive to do without an already existent space mining and processing industry.