So it appears you were right. After copious quantities of WD40 and some patient wiggling of the key, it eventually went fully into the cylinder. Although it's not opening/turning. It appears fits the lock, though it kind of feels like not everything inside is freed up yet. Like some of the pins...