I don't know, probably not. But Coke's marketing is more towards lifestyle in general. Red Bull is explicitly associated with "being active", "sports", even "high endurance" and "extreme situations". But in these situations, you won't need a Red Bull. Red Bull establishes a fake image that, to some degree, is the exact opposite of the actual product.