Does anyone know the maximum number of workers/bots that can work in any one mine at a time?

Because I don't remember having more than three.