Theres no difference between the two models other than that the 4200+'s clock frequency is 100 MHz higher than the 3800+. So the question is, do you want to pay more for a little more performance or save a bit of money for something a bit slower?