Turner's full name?

Rock's character is listed only as "Turner." Do we have any other info on what his full name might have been?
Anything from early screenplays, etc?
I don't mean from fanfic (if any ) or later supposition. Something authoritative; i.e., from original writers / producers.

Thanks, folks.