Aftermarket Flip Down DVD Car Players

We picked up a used AWD Honda Element this week as a winter/snow/sports/dogpark/bike transport/roadtrip... mobile. Want to put a video system in it for the kiddo, thinking a roof mounted flip down DVD player.

Anyone have any feedback on aftermarket ones?
Thinking 10 to 15" size.
Likely want to leave the stock stereo alone, so a want a standalone unit.
IR Headphones
Built in DVD player

Don't want headrest mounted ones (I want to retain easy removal of the headrests to keep the various seating options). Not sure I want a separate DVD player connected to a flip down monitor either.

Have done some online shopping, seeing units from $200 to $700. Install looks easy enough I'd do it.

Anyone else done this?