Right, once you get to a decent level, they all do 9999 so I just use whatever takes the least amount of MP, depeding on if there is one enemy or more than one. Unless I get bored, then I pick one at random...