If they're gate resistors, either value would likely work but I'd go with the lower value.
If you're not familiar with the MTX type supply, you can get the MTX 4250D service manual from Elektrotanya.
https://elektrotanya.com/showresult?what=MTX 4250D&kategoria=&kat2=all
If you're not familiar with the MTX type supply, you can get the MTX 4250D service manual from Elektrotanya.
https://elektrotanya.com/showresult?what=MTX 4250D&kategoria=&kat2=all