Yes, think about the following also:
Pentax DA 16-45mm Pentax DA 10-17mm (fisheye at 10mm)
Pentax DA 12-24mm (very beloved, sharp and has a convenient zoom range)
Pentax DA 14mm (wide, f2.8)
Pentax DA 15mm ltd (also very beloved, some claim its one of the best Pentax lenses)
Samyang 14mm f2.8 (no AF, but very sharp and not expensive. Also branded as ProOptic, Vivitar, Falcon, Rokinon,.. just make sure it is "for Pentax"),
Samyang 16mm f2.0 (should be in-stores any day now)
Sigma also makes 8-16mm, that a lot of people love. You can check out the
Sigma lens reviews or the
Tamron.
But of the list you posted, the Sigma is probably your best widest choice, even though the Pentax will probably be "sharper" - keep in mind that ultra wide angle lenses are not generally super sharp and take quite some time to get used to
There are also a lot of
threads about wide angle lens choices, so feel free to look at those. Or use the Sample photo gallery to check out some photos taken with those lenses are Pentax cameras.