I don't think you can get anything but Pepsi products here. Maybe in one of the vending machines in another building, I dunno.
I rarely drink soda or I'd just bring it from home...but some days I just neeeeed it. ;-)
The wonderful thing about Dr Pepper is it's sold in Pepsi and Coke machines. Now, finding one that sells Diet, that's another matter.