Wouldn't say it's too much at all, defender in his peak years, one of the standout defenders in La liga last year, top scoring defender too and regular international. Compared to £40m for john stones it's a steal.
I suspect Man United missing out on him and pedro on the same day will come back to haunt them big time!