Found this after reading the brief section about vending machines in RFC 1288 (The Finger User Information Protocol) [0]. I submitted a Wayback Machine link because, sadly, many of the links on this page are dead.
I was just about to try to grab this and try to contact them to return it, but the WHOIS records say it actually is still registered to them, and it expires in 2023. Phew! Maybe they need to update some DNS records?