What does the machine shop produce?