Those are high enough readings to go ahead and replace the resistor. What you didn't want was a reading of say around 2K.
Make sure the diode measures correctly first though. Had the high voltage arc hit the 200v line, it may have damaged the diode along with the resistor. Easy to check with a multimeter diode check function in circuit.
You probably need to make sure you get the correct type of resistor as the wrong type could possibly cause a fire if it fails in a short circuit condition of the diode. The diode is also likely a high speed switching type if it needs replaced. Just look at the service manual for the exact part designations.