What is "Johns friends" real name? (Terminator 2)?

In the beginning of the movie, John's red head friend (boy), what is his real name? He's also in honey I shrunk the kids...