Just got my Galaxy Nexus back from insurance repair centre. They fixed the charging port that I broke, supplied a new back as i bust that removing the battery every day & it appears to be a new battery to me.
I did a full factory reset before I sent it away, on power up i put my gmail address and password in and it completely reinstalled absolutely everything as it was before I did the reset with new phone numbers I've added since then & the latest version of Android 4.3 with absolutely no problems whatsoever.
Forgive me for feeling totally smug after the goings on last night with all the fanboys fuming.
This is why I got android & also why I got Nexus, cos its 2 years old and has the latest version before yer s4's etc.