Hans,
There are really no consequences to either switcher as you are supplying more than the needed current. This 13.3K resistor sets the minimum current to the pin. With a 12K resistor you are supply more than the needed current. It will be fine.
Richard Elmquist