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.