Update:
Last night I got my K1 back!
It appears to be fixed and working correctly, but I only did a quick test and will put it through it's paces over the next few days.
It came back very clean, with the new 1.4 firmware installed. Packaged well, but was shipped UPS ground with no signature required. Thankfully my wife was home
I snapped a few pics with my FA 43mm Limited. The lens felt like it attached as it was supposed to. The pics turned out OK, handheld wide open in a dimly lit room. Again, I will put it through the paces in the next few days.
So far, so good!
Now I just have to wait a while longer for the 15-30mm lens to get back from the factory.