"Ignore this user" is definitely the way to go!
Post# of 84101
Click on users name (on RH side near their post)
Click on "Ignore this user" in next window (on LH side)
Poof! They, and all their annoying posts are gone forever!
It's clearly a win, win, that will give you much greater peace of mind!