I'm not sure whether there's a way to find out about his judgment. I suspect we're outta luck. Probably the SEC does report the total amount paid to them each year, but I don't think they break out individual cases. And yes, "Jerry Williams" is a very common name.