DVD Recorder that can play back DIVX files?

I’m looking for a DVD recorder that can play back DIVX encoded DVD’s (as in divx.com, not the old Circuit City rental discs).

One with a built in VHS tape player would be nice, but not mandatory.

Does such a thing exist?