In the Air Force lounge in the ROTC building they have a fridge full of coke products and red bull. Payment is on an honor system, you just put money in the jar. They even have a tablet with Square hooked up to it so you can even pay by card. Since they buy in bulk and don't make a profit off of it, Red Bull is only $1.75.