Claim: Mike Portnoy was replaced by Buddy Rich.
Evidence: He was replaced by Mike Mangini.