Well looks like someone got an excellent score, anyway!
And I agree these are AT's top of the line SD condensors, definitely not designed to be a middle of the road product for them. From what I've heard of these, they are nice mics, underrated in our taping circles.
I ran their next step down, the AT4041's, for a year or so before switching to Neumann km184s. I really liked the 4041s and made a lot of good tapes with them. I always thought they should've been used a lot more in taping circles, esp as a lower cost nice mic (this especially in the day before all these cheaper China-made condensors we now have the choice of -- pelusos, studio projects, avantones, ADKs, etc.).
From the few tapes I've heard, the 4051s have a similar sound to the 4041s, but nicer and a bit more refined.