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!