Stock cars want AC delco Iridiums. (factory plug)
Modded cars want copper core. (heat range depends on mods, but I'd assume he wont mod it, via funds and parents)
So I would get new stock replacements for now.
The waste spark system on these cars hate platinum plugs, so never buy those.