Looking at chart, most of volume was in 13-10$ range during the dump. It is reasonable to assume that if our miracle worker indeed has dumped lots of BTC at "high prices" his average would be at best about 12$