Although it wouldn't hurt to run the red NGKs, there's no reason on a stock motor (they cost more). You should be able to get the NGK blues from any auto parts store of if you look online I'm sure you'll find them somewhere.

If I was you though, unless you know your stock wires have cracks in the insulation, etc., I would test them with a volt/ohm meter to see if their resistance is within spec before you spend ~$70 on new wires.