It’s €4.5 million. We know Spurs paid Ramos roughly £1.7 million when they fired him in October. And they’re still making payments to Sevilla for the right to sign him in the first place. Reckless, over-hasty action and failure seem be a profitable industry when they occur in the vicinity of Juande Ramos.