The question is not as to what they did to the car, but if the red 416 was built on the same Model S P85 as to the black GTX. All evidences points toward the fact that they are the same car since Tesla stopped production back in October 2014.