David, I got what Al meant. He meant ‘miners who were, in their spare-time, paid musicians’ - ‘semi-pro’ because music wasn’t their main paid occupation.