Did your kids go back and tell her they called her that?!
I think it's funny, and I think she wasted her money on her lawyer for that, but I'd hate to see something actually happen because of "bad-mouthing the other parent" like taking some dumb parenting class.
Tell your boys that that stuff stays between you guys, since you know it is all in good fun, but Mommy has lost her sense of humor!"