From https://www.haven2.com/index.php/domains it seems the preferred method is email, or maybe looking up his address and sending him snail mail. It's not a formal auction. Also, the EstiBot service he links only appraises corp.com at $112k. The million dollar figure comes from Namecheap/GoDaddy but I don't think Mike will use that as a reference point.