To Apple’s credit, they were able to replace the key quickly without replacing the entire keyboard, as I’ve heard they’ve been doing. And it works again. I would’ve preferred to be able to do it myself without voiding the warranty, but this will do.