Yes they do as I just sold mine. I bought mine gray market from the far East. Its a great amp and during my two years with it, it never even thought about an issue. It's a beast of an amp and too big for me at this point. It gives a feeling of unlimited power. I moved to a pair of Accuphase A300s, and am also delighted with them.
As for concerns about either buying a broken amp or a counterfeit amp, I feel strongly that if you ask the seller to send you a video of the amp running through it's diagnostics with the seller mentioning your name on the video to prove it's current I think you will be fine. That diagnostic program would be really hard to fake and it tests lots of parameters, even the polarity of the two power cords. In the last 4 months there have been 3 EVOs on US audiomart, 19 to 25K, you actually would have 22K to work with to get it right if there were a problem. In my case I was a different customer than the person paying 41K plus sales tax at a dealer. I wouldn't have been able to experience the EVO in my system as a retail customer. It's not like I was thinking "do I buy a new one for 45K or buy one for 23K used/gray". Gryphon didn't lose a customer they never had.