Absolutely, positively no way at $13K or even $10K for any Stern or JJP. There customer service/warranty sucks to no end. So many posts in threads about waiting with no response for months never mind waiting on some parts forever, a total joke.
If I was even going to think about spending $10K-13K for a pin... HEP for the win.
Here's just one thread:
Parts trouble? !?! (Operator can't get parts/support from distributor or stern)