Anyone had any experience with these mics? Any opinons and observations would be greatly appreciated. Thanks!

I have been looking for a decent set of overheads. I almost narrowed my search down to getting some AT4033's off of eBay for just over $400. But I kept looking back at AT's site seeing the AT3035. They seem to look better (on paper at least) than the AT4033 and you can pick them up for about 100 clams less.

What you guys think about those? I like AT a lot, solid built mics. I have a pair of 3525 and I love'em. I had a MXL 2001 and I have a 603s... I like'em too but not as much as the ATs. can you guys help me with this one?