If all else fails, he can take $2000 additional Direct Loan but it won’t be subsidized.
Did he receive work study as part of his financial aid award?
Also, he should be able to earn at least $1000 working this summer…and that will help for expenses when college starts. If he gets a work study job, it could be weeks before he sees his first earnings after the fall term starts.