Okay, I concede it is totally possible. After including Nasa's atmosphere model and some drag coefficients from super-sonic bullets, it looks like Red Dragon's

Okay, I concede it is totally possible. After including Nasa's atmosphere model and some drag coefficients from super-sonic bullets, it looks like Red Dragon's aerobraking maneuver would take 1600 seconds, cover 4800km and leave them with 3600 meters of altitude. (Those supersonic drag coefs were what really made the difference since they are around 0.3 at hypersonic and rise to 0.6 as it slows.)