…his first Grammy win, received for producing the Music by John Williams doc that won the best music film category. […] …a Tony (for producing A Strange Loop)…

Not that any of this matters, but ‘producer’ credits shouldn’t count towards EGOT winner status.

A grammys a Grammy I guess