Unless you are only interested in FM sound of the Yamaha DX7, and bearing in mind that you would need an external effects processor for it... (DX7 has no chorus or reverb, and is a mono instrument on its own.)
I would go with an old Roland D-50 and if you can get the PG-1000 programmer for it, even better. I have two Roland D-550's (Rack D-50) and one PG-1000 and can say that programming sounds for this thing is a mostly enjoyable experience however I usually start with an empty patch.. screw around and see where it takes me. I have yet to be dissatisfied.
Additionally, If money is not an issue. I would go for a Roland V-Synth, which you can also get an expansion card that contains a complete D-50 synth, down to sysex compatibility. I don't have one but have checked it out in stores quite a few times and the interface for that instrument seems pretty good.
Alternatively, maybe look into the old Korg M1, I have never used one personally but do know the sound is quite impressive. Note, the DX7 is a pure synthesizer, the D-50 is Sample & Synthesis, The M1 (I believe) was a pure rompler (sampler). The M1 is also multi-timbral, the D-50 dual-timbral capable, though I don't think that matters to someone who will be using it live.
Also, The D-50 while technically a digital synth like the DX7 and M1, is the only of the three that also excels in producing the sound of the older analog synths which is quite different then the digital synths of the time and FM synthesis. You can however create similar sounds to the DX7 using ring modulation on the D-50/V-Synth.
The Yamaha DX7, Roland D-50, and Korg M1 are all from basically the same era in digital synths so while they each have quite unique sounds apart from each other, they still fit the sound of the era musically and in fact defined it.
You can't go wrong with any of them in my opinion, they are all amazing machines once you put some time into learning them, and have yet to be surpassed even today.
You should check out
www.synthmania.com its a great website with tons of demo clips of many vintage synths.
http://www.synthmania.com/dx7.htm http://www.synthmania.com/d-50.htm http://www.synthmania.com/m1.htmI hope this has been helpful for you.
~Andrew
PS: Has your friend's son ever listened to some Emerson Lake & Palmer? I know that would inspire me to stick to keyboards
