You might have to wget the video file if your video player can't handle an mp4 codec. Time flies and 20 years can certainly make a difference. This video demonstrates what rebooting a server overnight was like compared to today. Small webm for sharing.