Hola Wooky!
Seguramente sea la MicroSD ke no funciona, te lo digo por experiencia, por aki hay mucha gente ke esta teniendo el mismo problema ke la microsd de tu colega, y es debido a la mala calidad de las targetas, seguramente esa microsd no sea de marca, a mi no me suelen dar problemas las targetas de marca, y he visto ke en las tiendas donde suelo comprarlas ya no venden las targetas sin marca, porke sera?
Pillale a tu colega una MicroSD de marca y veras como se acaban los problemas.
Salu2