In the end it really doesn't make a difference, either you want aOS 4.x and you are willing to pay the premium or you are not. A few dollars one way or the other doesn't make a difference to the target audience. We're not talking about a mass market device after all.