UPDATE: I lubed the cylinder and all is good. I tried that first and it fixed it so I didn't bother with filing down the key points. I'm not sure how often I should lube this thing but I'd imagine it's more often than once every 10 years. Lol.
Notice how the key no longer sticks when inserting or removing.
https://youtu.be/1eHdSnlmKtc