I vaguely remember it being about £10-12m for him and Larios, combined, on deadline day, so sounds about right. Adjusted for transfer inflation he was probably cheaper than Mayuka as a bit of a punt, so hardly a financial disaster.
If it came to it, we could comfortably make our money back on him IMO.