Amp is the best of the options you gave.  I also like Red Bull, but it doesn't taste as good as Amp.
The best, however, is Open Cola 

  Sure, it has less caffeine than Amp and Red Bull, but it's open source pop, and you can't beat that 

  One day my friends and I will get around to making our own 
