I haven't seen ones that simply play DivX Kev, they tend to be DVD players and under the list of formats supported is DivX. They are becoming more common now, you can get them for £40, though obviously the picture quality wouldn't be brilliant for that.

Amazon Pioneer DV 380 K DVD Player, with WMA / MP3 /... CyberHome CH-DVD 462 Slimline DVD Player -...