Nice find!
My first thought upon seeing this set was "Uh oh. It's gonna have the funky plug-in 9 pin demodulator chip." Those had an extremely high failure rate (failure mode was no color). Luckily yours is good. The chip looks non-original, and has probably been replaced.