Sorry Allen, they don't. I've had a very good look over them and there are no numbers at all.
I imagine a helmet lock assembly off another bike wouldn't be hard to get hold of though.
Do any other bikes in the U.S. have helmet locks?