They have some basic starter lanyards with four pins on them -- 2 each of two designs. They have many more choices, as well. You can also buy a plain lanyard with no pins for less than $10 and then add your favorite pins form the pin cart. Or, you can really splurge and pay the mega-bucks for the lanyard sets with lots of pins already attached.
If you think he might enjoy choosing his own, you may want to go straight to the Pin Station at Epcot (between the fountain and Spaceship Earth) or at the Marketplace. If you think he'd be more comfortable if you presented him with one all ready to go, you can order some stuff from
Disney.com | Shopping | Home.