Delete all rep left by a user

[okgaz]

Just a quick question. I'm going to ban a user and also want all of the reputation they have left to be removed. Does this happen automatically? If not what's the best way for me to do it?