You can cut the terminals, but you have to re-melt the tops
of them when done, or there will be separation as the
terminal is actually two (an internal and an external)
terminals bonded/melted together.  Any competnet battery
shop can do this.   A marine shop did mine.  It has lasted
over 2 years no problems.  But they separated before i found
out what had to be done, and no power for no apparent
reason.  Once the tops were re-melted, all worked fine.
steve