Making hard boiled eggs with the electric pressure cooker.