Rich and Jeff, thanks for our input. I'm going to try the #4 cables for now since they're mostly installed, and I'll get a new mini-starter. I'll report what I find here whenever the car runs (hopefully by summer if all goes as planned).