Did Doc quit on the Celtics?