Prior to your thanking him for this, I had already posted a correction. Red Hat came in very late (and owned a tiny share of the company), five years after the seed round. I doubt MySQL ever even spent one cent of Red Hat's money because it didn't have any significant burn rate at the time and was sold shortly thereafter.