If DEC ran Christmas...

We used to have Christmas back in the '70s, didn't we?