Al final he ido directo al the phone house. Si tienen existencias te lo cambian al momento (como en mi caso), y te tardan 10 minutos. Te sale por 145€ (no mucho más que los precios que salen por internet). Obviamente te puedes quedar con el original. He mirado la referencia en la caja, y es ésta:
Link sitio de compra