Not me no, well I recognize the name, although its seems they are part of Mycronic now. As a small batch builder I'm not convinced AOI pays for itself (unless you pay ~£12k like the OP) so its not something we've looked at too much. We don't get enough faults of the type AOI is designed to catch with the types of jobs we currently get from our customers, maybe if it were higher volume or more fine pitch/BGA we would.
I've seen FAI type machines from ExtraEye, AOI systems & iScan in person, all seem pretty decent at what they do, which is NOT AOI (they can't do solder joints etc as they are 2D flatbed scanner systems. I've seen DB Automations AOI machine that has the angled light and roving camera of more established AOI machines, for less money, seemed quite useable from what I remember. I've also had a walk though an ALeader system, again an approachable system but there was definitely a fair bit of jargon involved and lots of options/algorithms you could choose to use, I bet it could be quite intimidating if you just sat own in front of it and expected things to happen.
I'd certainly had the you really need to get one of these "sell" from salesmen representing both Omron&KOH YOUNG, they are crazily expensive clever systems and their thing is "true 3D" where the approach goes beyond cameras and angled light. I think you'd need extensive trials & demos to justify those bad boys but they can in theory catch pretty much any fault with very low false positives.