I've made so many Grok Eggman jokes I always have to think for a second when I want to say his real name