How much does he have? Maybe ask for it all at a discount. I haven't bought 9mm in a bit so not sure on price but google will tell you. As for what type to buy it depends on what you do with it. Also brand may come into play.
I typically just plink so any old round ball will work for that.