.....don't know anything about the other guitars mentioned but Michael K's advice sounds pretty good to me...I just recently purchased my first electric, an Epiphone GS-400 Custom (Epiphone's version of the Gibson SG) and I'm pretty happy with it... paid $420 new....it's cheap enough to be affordable and expensive enough to have some quality to it....it'll be a long time before I outgrow it.
I suppose anything with decent playability would be a good first guitar. If you think he's serious you naturally wouldn't want to start him off on something with action an inch and a half off the neck, or a guitar that would play in tune in an E chord, but not in A. That would be discouraging.
Good luck, Neil