well, if he were to use Finale, then he'd need a nice software sampler or a synthesizer to sequence anything out besides midi. The only sampler I can recomend for the music he is wanting to do is GigaStudio 160( http://www.nemesysmusic.com ) as it is the fastest and most reliable sampler on the market. I could also recomend Native Instruments' Kontakt, but it's nowhere near as reliable as Giga is.
here are the Gigasample libraries that I recomend(and that I use):
http://www.soundsonline.com/sophtml/details.phtml?sku=SAM001BUNDLE
http://www.soundsonline.com/sophtml/details.phtml?sku=SAM002
http://www.soundsonline.com/sophtml/details.phtml?sku=EW-110
http://www.bigfishaudio.com/4DCGI/detail.html?320
http://www.soundsonline.com/sophtml/details.phtml?sku=EW-104
http://www.soundsonline.com/sophtml/details.phtml?sku=BS-192
http://www.soundsonline.com/sophtml/details.phtml?sku=QLRIGIG
http://www.soundsonline.com/sophtml/details.phtml?sku=TT100
Aaron
http://www.corewaveaudio.co.nr