Not that I've ever seen one; but maybe there is some  thingamajig that can record video from VGA output? Maybe a project for the Citizen Engineers.