My bamboo shark just attacked my 10" v. lion and bit his right eye cleanly off. My question is: Do I try to heal or do I put him down? Very tough choice since i love lions ( whole reason i got into this hobby). any help is appreciated. He's in there with a tomato clown, blue face angel, foxface...