Does anybody know a good nickname for devin?

my sons name is devon. my mom calls him dev. i dont like it.his middle name is john. how about DJ? depends on your middle name. or initials. my son likes SPIKE for his nick name!