Amazon saves millions by asking their pencil manufacture to make them 1mm shorter. At that scale anything adds up to millions.