Yeah I can't see him get a credit anywhere, but that story is on his website https://philx.tv/discography/

So maybe Tommy Lee paid him off to not have his name on the writing credits?