Does anybody know if the Mike Altman who is currently a technical director at Pixar is the same person who wrote the song "Suicide Is Painless' (MASH theme song)?