Hammer,
I would go with the 4000 grit first and see what kind of reaction
you get from it after and if it is still hooking too much then you
can throw a coat of polish in it.
The polish will make it push a little farther down lane on the oil
but the ball may have a violent reaction/hook on the back end
when it comes off of the end of the pattern.
No you will not have to re-polish the ball after cleaning it with a
ball cleaner every time but after xxx amount of games the polish
may need to be reapplied as it will wear off eventually.
Bookmarks