Even though someone here suggested not contacting the repair place (IT on campus), my son did want me to contact them.