Thanks, but he doesn't have a digital box. His seems to be a digital TV
with the decoder *inside* the TV.
I've gone to the Samsung site and the only thing I can find is
(1) Wall -- ANT In on VCR
(2) ANT out on VCR -- a hole that's labelled "75" on TV (It's either
75 or 7S)
(3) EXT on DVD -- EXT 1 on TV
(4) EXT 1 on VCR -- EXT 2 on TV

The EXTs are the scart. But the VCR don't seems to be getting any
digital signals. If you have any idea, please give me a hand!

Petre