I think he is using stock cooler.
BTW the max I saw on stock cooler was 612/115x