beside sharpening the videos, you might consider adding a little brightness and contrast. that works wonders on a lot of older videos which look sort of dull by modern standards.

btw, you should see my first sharpening attempts - they are hysterical! the guys look like they have scales instead of skin