¿Alguno reproduce DivX mientras graba?

He leído decenas de páginas y he llegado a probar personalmente 3 grabadores distintos, pero hasta ahora no he conseguido encontrar ninguno que sea capaz de reproducir un DVD con DivX mientras graba un canal de la TV. ¿Existe?

Para mi es uno de los requisitos básicos (por supuesto, con TDT), os agradecería que me dijérais si conocéis alguno que lo haga, luego ya filtraría por otros requisitos. En cualquier caso, pongo aquí todos mis requisitos (deseables, no todos imprescindibles), y si alguien conoce alguno que lo cumpla todo, ya sería la leche: queda invitado a unas cañas ;)

1. TDT
2. Reproducción DivX (y por supuesto, otros, esto parece lo más restrictivo) mientras graba
3. Full HD 1080p
4. Capaz de reproducir DivX, Xvid, VCD, SVCD
5. No necesidad de apagarse para comenzar grabación temporizada

Muchísimas gracias a todos :)

Me auto-respondo a la primera parte, por si a alguien le interesa: parece que los Philips DVDR5520 y 5570 sí rerproducen Divx mientras graban.

Si conocéis alguno más que lo haga, se agradecerá la información. ¡Saludos!

Los Panasonic DMR EX-78 y DMR EX-88 lo hacen.