That's not really relevant to his point, though. I'm sure it's quicker to get a ROM dump of Super Mario by downloading it than by digging it out of Nintendo's archives or setting up their own cartridge ripper. That doesn't mean they couldn't or wouldn't have done one of those things otherwise.