Saw this in JB the other day ($160), here are some specs.
Does it have a good reputation for playing DivX files?
Will it support an external USB HDD?
MediaTek MT1389FE chipset
HDMI Output (1080p upscaling)
WMV (Windows Media® Video) Compatible
Official DivX® Certified Product
Compatible with All Versions of DivX® Video (including DivX® 6) with Standard Playback of DivX® Media Files
108 MHz/12-bit Video DAC