Within an hour of posting that I hear that Red Bull, officially, is making no driver changes this year.