Here I am, two and a half hours later and the joint is deserted!
What makes me think this might have something to do with people doing exactly what I have been doing - solidly watching those videos, transported with delight!
I'm going back to them now, but just popped in with a tip, that some people might not be aware of, for the Windows Media Player (WMP) and most other players. Good as the videos are, you can often enhance them a little by GENTLE use of WMP's video enhancement controls. A tiny lift for Brightness, Contrast and Saturation can brighten things up, though it is a purely personal taste thing. Try it and make your own judgement - it's like the sugar or the condiments, you don't have to use them, but they are there if you would like to!