Huh. Digging through my loose-change tin to go buy a soda, I discovered that what looked like a useless (for that purpose, because the pop machine won't take them) Canadian dime, is actually a useless 5p coin. Still unhelpful for getting pop. But somebody -- most likely somebody in the cafeteria -- accidentally handed me British money somewhere in my recent travels. Wonder who.