Red Bull Racing takes first lap in Texas