por los precios que yo veo en distribuidores poca diferencia hay de un 3700 a un X2 3800 toledo, si la diferencia es poca 50€ o asi yo me decantaría por el segundo, creo que esta a buen precio siendo de doble nucleo, aunque bien te dicen de momento no esperes que sea la panacea, porque poco mas podras sacar de rendimiento.
Saludos