In the U.S., the numbers are around 3000-5000.
And yet, so much relies on industrial control systems...