Yes, it’s OK for doctors to seek mental health care when needed