I like the name Topsy/Tops. It fits in with the common rule of naming: basing it off their species. This isn't always the case, but it's still common (like Cera from Triceratops, Bron from Brontosaurus, and Nod from Nodosaurus).
Personally I don't like the name Thunder for him. But that's just me.