re: Would you be OK with your university hiring a HC who quit there as a player?

Of course. He may not be a good enough player to play at that level, but coaching is another animal. Not many of the top players are also top coaches.