I am looking to buy JP:DE as my second pin, but I would feel more comfortable having a reputable business than a private seller to help with troubleshooting the more complicated issues that will arise with an almost 30 year old pin. Any suggestions for companies with good customer service and fair prices? I am already on the waitlist for TNT Amusements. Thanks!