Which turned out to be a good idea, because they can do diagnostics there. Verdict: send it to the repair depot; I should have it back by Friday.