Pulley removal

When you buy a new gear drive do they come with anti-seize on the shaft? I’ve seen horror stories on FB where guys can’t get the gear box off the engine. I’m guessing the shaft wasn’t greased when it was assembled.