So I went with the ones from Amazon posted up by
benjaminjaninja
Everything fit/transferred over well except the actual key. The inner plastic cylinder section on each side of the new case, that the key rotates between, is slightly bigger in diameter and needed to be sanded down, I used a Dremel to grind off some of the thickness of the material. Going in baby steps, I didn't want to sand off more than necessary, I eventually got it to flip out somewhat normally, though it should improve with everyday use.
Kind of a pain because of this fiddly part, but hey, I saved a couple hundred bucks.