Moscow has gained up to $9.8bn worth of arms, plus troops; Pyongyang may have received less than $1bn.