Pretty OK shouldn't make the leaderboard.
Just curious, are these infamous K7XX leaderboard worthy from those that have heard them? I'm wondering if they would be a good alternative for the HD600/DT880 price range. I'm asking mostly because it seems like for someone on a budget, the HD600 seems to always be the #1 recommendation, options are good IMO.