All lawsuits have to be noted in the 10-K. If it come up since then, it should have been PR'ed. Don't have time to look now, can you?