Great to know that you have found a solution.

There are plugins though that can ban users based on IPs and one of it is WP Ban http://wordpress.org/extend/plugins/wp-ban/ .