Reply to Affordable 4ch mixer recommendations

Hey all,

I'm in the market for a new DJ mixer and am considering a 4ch if I can find a decent and affordable one for around $500. So far, the Behringer DJX900USB and DDM4000 look like the most affordable options, but I've been reading a lot of bad reviews about their build quality (not surprising). I'm not looking for the fanciest mixer, just something that will last. Any recommendations would be greatly appreciated.