Thoughts
Well, mixed success. Good news: the key was removed, a speck of dust cleaned out, and the key was replaced, and it still works. Bad news:
they tell you to use a guitar pick because there's a delicate, thin, membrane under the key. I poked a couple holes in this membrane with the tip of my pocket knife. Also, cleaning under the key didn't fix the issue, the key is still wonky. Might take it off again and see if I can figure out what's going on.