Compression Battery Terminal

Yesterday while cleaning my terminals, I discovered the oe lead POS (+) terminal was split/cracked.

Rather than drop $130 for a new cable, I found these compression replacement terminals.

Has anyone used them?

I think the main wire is 4 gauge, not sure about the starter relay wire.

Wondering if a 4 gauge compression terminal would work, or if I'd have to get a 3 or 2 gauge to cram the the extra wire in.

http://www.quickcable.com/products.php?pageId=75