I'm assuming you are in DC, because I've seen that bike on craigslist before. A friend of mine went to look at it, and this is what he said:
"The guy didn't seem to know anything about the bike at all. He got it at "some shop in NYC for $700.00" . The drive side of the top tube had some paint scratches and 2 small dents. There were some other weird paint chips around the head tube. And the drive side bull horn was bent in. I almost think it was in an accident or something. Totally didn't seem stolen but something was way off."