I agree with jdrakeh. To me, Armadillo, it seems that you warned your players clearly enough.
However, in general, I don't think "players should learn when to run away" is as much a problem as, "DM should learn to set a consistent tenor of lethality for his campaigns." D&D is not a life...