We need to talk about Tipton

We could just call him Tipton. I mean, it's not like you're saving that much time by shortening it to MT84 or whatever. Just write his name and let nicknames happen organically after he's accomplished something.