A XMBC box? (i.MX6 has doesn't do 23.98 Hz though, might be fixable by resampling audio.)
How big an advantage would I get from using something such as a Raspberry Pi? (I'm planning on using a model B I have when my family cuts the cable very soon)?
How much you want for it?
Honestly, no idea.
(As I said before, however, this is technically lightly used, not in New condition - just trying to be honest
)