Did you purchase it individually? Do you recall what you paid for it? In the blog, I linked to a YouTube video that said they retailed for $300-400. I believe it, but would like to hear confirmation.
Someone pointed out that this site to me that sells replacement parts. I was looking at getting new flipper springs for the keys that don't always register.
Edit: Never mind, looks like it's Nessus (https://help.intruder.io/en/articles/3167760-internal-vulner...)