Well it's your choice seeing as you're the one who banned him. I generally ban insulters for a week, just to teach them a lesson. Lifetime ban should manly be used for cheaters and repeat offenders. Also if you IP banned him then his IP could've changed since then.