I hope so. I thought the Annies were an excellent price at $300 for a used pair.
Did you ever document your thoughts on the Annie vs K712? I absolutely loved the Annie back when I had it and have been curious for another listen ever since I let them go. I thought I could satisfy that craving with the K712, but I really didn't like it and got rid of it rather quickly. I just hope the same doesn't happen with the 7XX assuming it's similar in sound to the Annie (and assuming I still enjoy that type of sound). Regardless, $200 for the K7XX is probably one of the best deals I can think of to ever hit the headphone market.
Yeah, my K712 review on my guide brought up some of the differences between them. They're very similar, but the K712 is less intimate, more spacious. I honestly still prefer the Annie's more intimate sound. It was less prone to fatigue too, since the K712 isn't as smooth up top (though more lively and extended).
Seriously, for $200, I don't think anything comes close to touching the K7XX, if the Annie is any indication.