The Coke machine charges $.25 more for its product than the Pepsi machine. I suspect conspiracy.
And now I'm off for a hot night on the town with some librarians. Party! ;)
(Actually, anyone who knows actual librarians will understand that there's more truth in that statement than an outsider might suspect...)