The owner's manual doesn't say anything about oversize, they don't look oversize, and the vast majority are the standard 1/4" post. Not like its gonna make any difference- you can bend a small one bigger as easily as a big one smaller. But if you're really worried why not measure and see?
Honestly, I would twist the wire, tin it, and call it good long before I would pay what they want just to add one more connection you don't need with those silly little crimp-ons. $15! Right.
