Are GFCI's required for convenience receptacles in a machine shop? We are providing 5-20 receptacles at every tool (mill, lathe, press, etc...) location and bench area for convenience power for hand tools, lamps etc. Similar for what we would do for commercial garage. For commercial garages, 511.12 states where GFCI's are required. While the receptacles for a machine shop would serve similar purposes (electrical hand tools, portable lighting), I don't see anywhere in the code where GFCI's are required for a machine shop. It would be perhaps good safety practice to give the option to the client, but I don't see an actual NEC requirement for them. Please advise if I am incorrect in this assessment. Thanks.