The blue/teal mix does fit in well with the general trend of color timing (and particularly night-scene blue-boosting) in 80s films I've seen in 35mm. Streets of Fire, Lethal Weapon and Evil Dead II, they all had nighttime/dark scenes that looked sort of like that in the prints I saw.

Obviously, the color wouldn't have looked as washed-out when actually seeing a print projected in a theater. That pasty, blown-out look does seem to have been a common problem with telecine transfers of high-contrast sources timed and intended for theatrical projection (as opposed to low-contrast interpositives).