I think 12 hours is a bit underestimated too, for the printing time. For a high end 3D printer, it might put them out faster, but even still, those things would take a few hours for each one.
If he used one of the more advanced printing filaments (instead of PLA filament that is far less expensive, but less durable and cannot withstand heat and stress) it would take longer and cost more, but I don’t see how he doesn’t come out ahead in the end.
The "auto sears" are small, about the size of a 1" nut. He printed 30 of them to a bed, and printed 2 beds, at six hours each.