I am pretty sure that you are correct on both counts, that the ATH is measured based on Bitstamp prices, which current ATH would be $4,980 (or maybe $4,979.90 or some variation of such), and I think that he has been using the UTC clock, too.
New ATH (per stamp) would be $4979.xx ... We were so close, but then there's a drop and now we're sitting at $47xx
ride just gets fun-ner.