Martingales in the Ok Corral