DONT TOUCH THE POSTS!. Enlarge the terminals.
then use a hole saw without the centering bit
There is a type of tool for cleaning the battery posts that takes off a little of the post. It has a blade that works like a cheap pencil sharpener, if you remember what wooden pencils used to look like.![]()

What about using a flapper wheel ???![]()
You want to get lead dust in the air?

Hold shop vac at post while trimming. I would not suggest doing it in kitchen.
![]()
![]()
Coat the terminal and post with a little dielectric grease before putting the two together.