Either bullet will work fine!
I know somebody who probably has .25-20 brass, in case you can find anything else. Was at a gun show this spring and found a pile of .218 brass PLUS dies for a very low price. I had no need for it, but knew a friend was haggling over a Winchester 43, so picked it up for him. Don't think he wants to part with any....
