Thanks for taking the time and the effort to try to summarize this issue.
Before I found this post and Sunder's
Lens button replacement, I'd already called Pentax support and checked the C.R.I.S. website for a camera repair estimate; both were ~$200. (:-(
Called Pentax parts department 720-988-2653 (in nearby Denver) and they're shipping me the parts tomorrow; so inexpensive they're not charging me. (:-) A far superior solution - and much happier customer/user! - than being without the camera for weeks (how long depends on whether or not the repair place has the parts in stock) and paying a hefty $200 repair charge. I think it's unconscionable for Pentax support to only offer the $200 repair option - to not tell the user about the free parts and simple DIY repair.