Run the 9's. The heat range number represents the ability of the plug to get rid of heat. Going to a hotter plug doesn't increase power, but it may create a hot spot and cause problems such as pre-ignition. You should always use the plug the engine was designed to run.
Polaris actually specifies a Champion RN2C plug and not the NGK. They are considered comparable, though.