Tough call IMO, if the tank sump is full already and there aren't any problems thus far - leave 'em. If it's easily done now, then pull 'em and shave down a little just for piece of mind. It's actually pretty rare that there are problems due to this but it can happen.
HTH,
James