CADIQ

We are looking at installing ITI's CADIQ and I was wondering if anyone in the PTC Creo community is already running it and can give us some information. What we are wondering is how it compares to ModelCheck in functionality and quality of the analysis. 

ITI has told us that it is an external program, so files need to be saved to disk before running through CADIQ, which is a drawback when we have all of  our data in Windchill.

Love to hear experiences from those that have evaluated or are using CADIQ.

Thanks