No, I haven't. It would be interesting to hear from someone who has.
However, US$575 for my LX200 would definitely not be worth it for me. PEC gets my PE down to a few arc second anyway, why bother with spending $575.

Not that I've tried training PEC since all my hardware replacements recently to know if it's still so easy to achieve such good PEC.