I SAW A VIDEO OF THE RCR SHOP AND THERE WAS A GT40 MARK 4 IN THERE SHOP. DO THEY MAKE THEM AS WELL OR IS THAT A PERSONAL CAR???