Ok - just got the K3 back from Precision.
Came with ticket which reported:
Quote: A complete repair and return all functions to factory specs.
Auto Focus test, check, recalibration and realignment
Firmeware download. Corrections and adjustments. Address values measured and adjusted
Complete cleaning (internal-external)
That should cover the floppy mirror repair, but it doesn't say that specifically. In any case, i have the printed documentation that i submitted it for that repair should it reoccur.
It does look clean and smart. Everything operates fine and focuses quickly.
Happy Customer