Definatley check out Redlines race completes, $500 will get you a great beginner race bike.
I'm not sure on what size he should get though, your best bet would be to check out the NBL or ABA websites for reccomendations as to the size of bike he should get.
Expat might be able to tell you roughly...