That one from mikesarcade is NOS I believe. They are good people to buy from too, I've made 2 orders from them over the last month or so and it's been good. Shipping is a little high but well packed and quick.
Mike's actually out of them or I would have ordered it awhile ago.
Yeah I might go the repro route, and just cut off the excess to make it look closer to NOS. Kicking myself for not buying from Mikes or QuarterArcade last year when they had it in stock.