Yep, that's the only way to handle it.  Let them bash to each other.  Leave the board.  That's pretty much what I've done.  I also get 1 post a day and often don't use it.  And I don't read  much over there either.  Nothing today.  Nothing yesterday.  Just can't make myself waste time like that -- too much else to do!

PNCH -- long and strong!!