You also may want to research 'First time auto buyer'.
Many manufacturers have programs to help first time buyers with good credit (check), income (check) but little history (check).
There are usually limits on amount etc but it is another option.
PenFed is a fairly safe option as it will only be one Equifax pull for him to open a checking account and any other products he might need. Even adding a car loan will not result in another HP.
The thing that may hold him back is the range of income listed. If he is a W2 employee that is often easiest to prove income with. If he is self employed or has variable income it may present an additional challenge.
Good luck and let us know how he does...