I am cleaning an old gen1 G17 for a coworker. His grandpa carried it as a cop. The serial number prefix dates to 1988, but the next part is "003 US". Are the glock serial number sequential? Was this the third Glock made that year? Doesn't really matter...we are just curious.