Who's Mike Portnoy? Wait, scrap that. I don't actually care.