Hi Jack,
Just a thought, you might want to do the sticky key fix now or in the near future while the key is free to move since it's pretty easy and straightforward at the moment. If the key jams, that's when it gets hard to fix - grinding in that tight space is not easy.
-Jerry