What Tools Should a Machinist Shop Have?