Aha, it looks like I was wrong all along. Well, glad to finally know what it is. Thanks
He is a pretty old little guy, I'm not sure how long they live for, but I've had him for years. Some other fish nipped his poor tail fin, so it healed into sort of a funny shape. But he's healthy as far as I can tell.