Once again, I ask why? Are you merely curious, or seriously interested in paying the entry price to this club? I'm still not sure I am
Anyway, there are few options for K-mount shooters.
Forget the Sigma.
The A*135 is difficult to find on the second hand market, and very expensive if you can. It works natively on the K-1. Some photos
HERE
The Zeiss is slower, even more expensive, and needs a conversion to even work at all on K-mount. I'm sure Fenwoodiam can furnish you with sample images.
Samyang also make an excellent 135/2.0 - reviews
HERE
I have owned the Pentax K135/2.5 and FA135/2.8 - both were excellent but I stupidly sold them before the K-1 was released