If he is unbanned, I suggest the following:
pex user redjak_v2 add -mcmmo.ability.mining
pex user redjak_v2 add -mcmmo.skill.mining
mmoedit redjak_v2 mining 0
Once again finding an appropriate punishment to fit the crime, while at the same time not completely banishing the user for their first offense.
This is IF it is decided to unban.