Hot Missionary Compilation with Jordan Price and Friends