El OP7PRO es mejor dispositivo en general, pero económicamente sales perdiendo, pídele si acaso más dinero, el 7Pro nuevo con esa configuración se vende a 609€ en la web oficial, el XS Max (reacondicionado) por 819€.
También habría que valorar el estado de los terminales, pero a igualdad de condiciones, al menos, pediría 100€ más en ese cambio.