Mike has come out of the procedure. Now we wait for him to clot a bit and for his cardiologist.