I disagree with service truck driver.
Remove cables CLEAN inside and out with terminal brush{cheap]also clean battery posts.Charge battery and have checked.You must have clean and tight connections.
Hope the alternator isn't cooked.Not
a good idea to jump and let alternator build it up.
Alternators are expensive.