FWIW: used Pentax 15/3.5mm available at Adorama

[Tom Reese]

I have no idea whether anyone is looking for one. Adorama has a used 
15mm/3.5 lens for $774.

Tom Reese