Looking for options to replace the stock stereo on a 2007.5 GMC Sierra 2500

I have the factory over head DVD player, and was hoping to keep it for my daughter.

Is there any other options for this to work other then getting a aftermarket in dash DVD player?

Was hoping for just a something I can connect my phone to the stereo and play it on the over head, or even one of the stereos that have the memory card slot.

Thanks

Sent from my Pixel 3 XL using Tapatalk