machining as in industrial machining, apparantly they do some very expensive work
http://www.richardsmachinetool.com/