Have you seen their model verification stuff? I don't say there's no improvements to be made, but what I saw when I looked at it last year seemed pretty strict.