No, I haven't done the update as of yet; after reading Ivanvernon's experience.
If this was to happen to anyone, it probably would be me, and I don't wish to be without my beautiful K3 for months, if something does go wrong. Right now, the camera is performing way above my expectations, and I'm in no hurry to try this.
"The only way you'd know if the .bin file was okay was to check and compare its filesize against a known good one, or even better, did a checksum against a known good one."
It's things such as this, that are way over my capabilities on a computer.