#HWADDR="00:01:23:45:67:89" # Overrule the card's hardware MAC address
Ahhh, here it is, from etc/rc.inet1.conf
Not sure what the  is for (no pun intended, lol), but there is one on every line of my file.
If stealing an address is (and it likely is) against university policy
you could change yours and leave the culprit-finding up to the sysadmins.. just remember to register your new address with the system.