the original red bull is better than the american one .