Like I mentioned earlier, I have a battery that has both top and side posts. For the positive side only, I replaced the connector with one of these from the Wiring Depot. Accepts larger gauge wire to accommodate the starter and the fuse box power cable as well. If you go this route, be advised the positive terminal is larger than the negative so you’ll need to be sure you order the correct one.
I've been using 3/8x1 1/2 bolts with 2 nuts on my side terminals for 30 years! Just peel the plastic off and add a washer between cables if necessary. Really helps when jumper cables or diagnostic clamps need to attach. Plus the bolt is longer than the 5/16 head stock one into the battery.