Several weeks later, the club gave up Bulgarian star Martin Petrov to Manchester City, but got a replacement shortly after: Portuguese star Simão, signed from Benfica for roughly €20 million. On 29 July, it was announced that Atlético had signed winger José Antonio Reyes for €12 million.