While watching an online video, my new Nexus 10 froze and started emitting a loud hum like that of a shortwave radio. Nothing seemed to fix it, until I (presume) reset it by holding down the power button for a while. Has been working fine since. Is this ominous enough to contact google for RMA?