Auto-translated
No. Don't waste mana potions; we don't have many left. Let them heal with healing potions; seriously. Healing potions don't get used up, we have a ton of them, and we don't even need to use some of them in battle.
Ple-Sen