Yes, that looks pretty spot on to me. The film was pretty dark in general with teal overlayed. I will pop in some of the first T2 DVDs to see if they reflect the 35mm print at all. I have PIBF-1001 and also the R1 Image DVD to reference and I remember checking out some scenes a while back and they looked very "not remastered" if that makes any sense. While the remastered discs do look great I would much prefer the look of the original 35mm. There is something very old school about it that adds to the effect of the whole experience.
Here's my ticket for proof: 
If anyone has any further inquiries it may be worth it to contact the theater directly and find out some more information.
Alamo Drafthouse - South Lamar
1120 S. Lamar Blvd., Austin, TX 78704