If he is right, we are in for a world of hurt. Probably more like 10,000, if you include marines on their Black Sea Fleet (a thousand or more). With about 5,000 to 8,000 Russians troops at various Russian equipment installations and also security for Russian citizens. Could believe a number like 10,000. No problem.
Your estimate seem quite reasonable/realistic to me.