For video, yes, the K-5 uses MJPEG compression which produces bigger files. This is because each frame is saved as an individual image with no frame interpolation compression (whatever it's called) applied. For quality, saving in this way is an advantage if you have plenty of data bandwidth but not so much processing hardware. With h.264 it's the opposite. You need much beefier processing to compress that data well and not come out looking like a Youtube video. And unfortunately, this is likely why the K-30 has much lower sharpness in it's video:
Video - Pentax K-30 Digital Camera Review
24p would be nice to have on the K-5, but 25 is so close I doubt any person can see a difference, and it's able to follow the cinematic shutter speed rule more perfectly (24p should have 1/48 shutter speed, 25p 1/50). And if you don't like the 25p, converting it isn't a huge ordeal. There's not much you can do, however, with smeared details and blown out shadows and highlights. I do wish I could have 60p for slo-mo though.
For stabilization I haven't seen a direct comparison, but I've yet to see any video from the K-5 have the kind of jiggling displayed in this K-30 video:
And while the audio sampling rate is less than ideal, an external mic will pick up significantly clearer sound than an internal mic at any sampling rate.
Autofocus would be nice to have, but it's so bad on the K-30 that you would never use it while recording a film or anything meant to be watched and enjoyed. Also, the internal mic does a great job picking up the screeching of the motor as it hunts back and forth for it's subject:
For still photos the difference is less dramatic to me, but significant enough that I'd still prefer the K-5. Half the fun of photography is having a camera with a great control layout, and the K-5 wins with the top LCD, more buttons and better built body. I mostly do nature photography, and having a faster capture rate and deeper buffer helps get the perfect action shot, a quieter shutter helps to not disturb the subject, and ISO 80 with some extra bits in RAW helps take great, HDR photos of detailed landscapes.