This github repo contains models for the keys pictured in the Washington Post.
They were confirmed to work by @bernard (note: this link is also in the repo README)
Previous lobste.rs story. I created a new story because AFAIK there is no way to bump old ones to talk about new developments. The old story didn’t have info on the 3D models or that printing these models actually works on the locks.