You left one option out. Booting the member that is harrasing you of the group also.
@Tod ********
in life you run into people that have issues. It pays to ignore them. If it's any consultation they are usually people who have a very low opinion of themselves. Please stay and know you are supported.