I have been hearing about android 2.3.5 since December but I could not find out when it would be released. Does anyone know when it will be GA? Once it is released, how do you upgrade the OS? Is it automatically pushed through the market place? Is there a place you have to go to request it? Are the OS patches hw dependent?