Thanks RobinBird.
I'll just have to wait for an index, I guess. I have searched the district which includes the college and two neighboring districts without any luck. There are no college students listed. Unfortunately, in his case he couldn't be listed with his family because they were overseas. Just in case, I checked the "home for missionary children" where he had previously lived, but unsurprisingly he wasn't listed there. Maybe he is someone who fell through the cracks.