Después de mucho leer, me parece que una opción algo más barata, para alguien como que no vaya a usar a menudo el MHL, puede ser comprar uno no válido para el S3 más un adaptador de 5 a 11 pins, por ejemplo este
MHL, del que ya se habló en este hilo, y este
adaptador,
Otra opción es comprar algo anunciado como que funciona, arriesgando, por ejemplo
este, y si no funciona, reclamar, y como no habrá que devolverlo, al ser de Hong Kong, compras un adaptador de pins, y funcionando. Bueno, reconozco que esto es algo más rebuscado, pero el vendedor pone bien claramente que funciona para el S3. En este caso, no está claro si tiene entrada microUSB para carga, pero se lo he preguntado.
De todas formas, no tengo claro si merece la pena todo esto teniendo en cuenta que es para alguien que no lo va a usar habitualmente.