I agree. If you had known it was from an injury and the mouse wasn't born like that it might be different, but better safe than sorry. I know you said you weren't breeding from him anyway, but I just wanted to get this in as it seems relevant: Be very careful not to let a buck with a big fault into your breeding. Anything that is wrong with him will spread through your stud faster than a doe with the same issue because a stud buck will be mating many does throughout his life. Breeders often grow on perhaps half a dozen or more bucks in order to find one new one that they wish to breed from because they know he must be good in order to depend on to carry on and improve that line.