My building has a machine with Diet Dr Pepper, on the first floor. I bring a bottle from home but some days are "two-bottle" days...
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. ;-)