The first two sets of DNS addresses should be the ones you want.
Still, here's an idea for you- get a router and put the details in that for going online, then have the computer and PS3 get their info automatically. If the college's set up uses your computer's MAC address as an identifier you can clone that into the router and it will look like it is your computer every time. Plus, no more cable switching.