My dad has a K20D, which I told him to buy. He likes it.
I also briefly had a K20D which someone traded to me for the summer wheels/tires from my old Miata. I liked it but at the time I wanted to get cash for my wheels, not a camera.
Thank you for your useful first-hand information about Pentax as a brand, and your well-informed opinion on which lens I should go for.