Diet Coke or Diet Dr. Pepper...

This is a dilemma I just faced at the vending machine. Since I would be happy with either, I pushed both buttons at the same time...I ended up with the Diet Coke.