WTB Pentax 14 mm F2.8 (IF) but would consider Pentax 15mm lens

I would like to get a true wide angle prime and I am tending toward the 14mm (Pentax) which on the whole seems to be positively reviewed despite it being introduced some years ago.

I would also consider the current 15 mm so if anyone is interested in selling either please let me know.