I have seen the other turtle bit him. How do I get rid of the swelling

I'm sorry, I don't think we have any turtle experts here.

Whenever your animal is injured the vet is always your best bet.

Good luck.