Couldn't the intern have paid for his own bare bones VPS and done it from there? Or used a different paid VPN service, which cost roughly the same ~$5? Seems like the cost of a VPN compared to the value of his internship wouldn't even compare. All for some campus clout.