I really doubt 10,000 NATO troops would make any tangible difference besides escalation from Russia’s side. The troops from the DPRK were largely sent to honor the defense agreement and to get troop training in Kursk, which was successful for the DPRK.