Well, it's been nearly two and half years and thought it may be interesting to post an update.
I am glad to report that the K100DS came back to life and is still kicking, body and the kit lens. Fully functional in all aspects.
Not sure how many shots I've taken since, but it has to be > 1000.
I just got me a brand new K-5, so did a quick experiment to compare image quality using (a) the old and twice dunked in the river 100DS + DA 18-55 3.5-5.6, and (b) brand new K-5 + DA 55-300 F4-5.8. Shot same subject at 55mm 1/20s F13 ISO 800 6MB resolution.
See if you can match the pics to the camera/lens.
Full Image 1 Full Image 2 Detail Image 1 Detail Image 2
Difference should be obvious and expected, but still amazes me that this hw is still working.
Would be interesting to try the same experiment with a Canon 7D and Nikon D600. (in the interest of science of course)
I don't own either, so maybe one of you guys that jumped ship (no pun intended).