you can make mana steel ingots by dropping iron ingots into a mana pool
and using iron tools in a crafting recipe, or in ars magica's case, as a part of a spell is totaly fine, just toss em in there.
(also I might be mistaken but, I'm pretty sure iron tools got a bit more durability in the...