Harvey Levin (re Guthrie ransom) just said Bitcoin was hovering around 56k. What exchange is he using?