Measuring the pinhole is a simple affair with a film scanner. Scan the sheet of metal with the hole. Measure pixel diameter in PS. You know the dpi, so...