Make sure your CS filters aren't messing anything up.
Since it's a college campus, and there are so many computers, maybe it's under a different IP subnet, and your LAN is a different one than his? I have no idea how the netowrks on colleges work, but maybe he should try and create a private server that's not on the LAN, and just password it or something, so other people can join.
Since it's a college campus, and there are so many computers, maybe it's under a different IP subnet, and your LAN is a different one than his? I have no idea how the netowrks on colleges work, but maybe he should try and create a private server that's not on the LAN, and just password it or something, so other people can join.