All the tool batteries I have are 18v so would not run my 12v pump for long.
Someone on here, possibly Fen, suggested using a mobility scooter battery which is what I've done and it works perfectly. Small, affordable battery that fits in one of the compartments my pump came in.
I like the idea of using tool batteries on the basis that I generally like things like that to do as many jobs as possible. If it's simple and safe to make a dc-dc converter and not using a method that ditches the 6v as heat then it's a smart idea.
Given how much kit is 12v and how popular 18v tools have become then it wouldn't surprise me if people have already done this.