Questionable.
The bezel looks right (no copyright, which is how they are on the reds), but the CPO has a copyright, meaning that, if it IS a red cab, it's not the original CPO.
Sideart is almost certainly repro.
If he's telling the truth about the serial plate (why not take a picture of it?), then #01408 would be a red serial.
Either way it's overpriced without the original hardware, and unless they're using two very specific adapters, the wiring is going to be hacked to shit too (if not replaced completely) to accommodate the JAMMA board. Whoever decided to take an original red DK and swap out the PCB and marquee and wiring for that multi-cheese is a criminal.