Physician performing an electrophysiology procedure on a patient in a cardiac catheterization laboratory