Can Redbull still get out of that contract?