Originally posted by dxpand4 (snipped for brevity)... recommended lenses are for landscape, astro & time lapses are ... Pentax DA 12mm - 24mm lens, DA 15mm and the DA 21mm for astro. ...
Those lenses are usable but less than ideal for astro. Pentax, like many lens manufacturers, didn't emphasize coma correction in those lenses. Coma is a type of distortion that extends stars near the corner of the frame. Coma is generally only noticeable with wide star photos so it's not a priority for most lens designs.
Samyang/Rokinon/Bower (multiple brand names for the same thing) lenses are great choice for astrophotography. Their designs tend to be sharp, fast, and feature low coma. My Rokinon 14mm f2.8 has worked well (*). There's also a faster only slightly less wide 16mm f2.0. That latter lens is sized for APS-C sensors, fine for a K-3, but less usable if you ever get a full frame K-1.
(*) I am selling my Rokinon 14 because it hasn't seen much use after I bought a 15-30.
Pentax DA* 16-50; Tamron 10-24; Rokinon 14mm - PentaxForums.com