The timing is definitely different there.
Depends on what you mean by “timing”. The difference is only in saturation, AFAICT, so I’d say they are clearly from the same master, just processed differently. Home video releases were often badly desaturated like those Laserdisc examples, back in the day.