Well, I’m watching the final episode now and I can tell you they are 100% for sure using the fan-made Jurassic.Park.1993.35mm.1080p.Cinema.DTS.v2.0 release - I compared it and it’s pixel-for-pixel exactly the same, except they graded it a tiny bit more towards teal.
Wow I don’t know if I should say that’s awesome or what. So a scan from fans but a bit more teal. Interesting.👍