4,941 Korean manufacturers with the strongest public records: actual headcount from the National Pension Service, public procurement contracts, government certifications, stock listing and years in business.