> Any sarcastic comments about these numbers?

I'll give it a try: Germany also sent 5,000 military hats.

More seriously: I don't even think such a tiny contingent of troops would even work as a tripwire if Trump invades. Trump and his people probably don't have the self control, but if they did it seems like they could just bypass those troops and literally ignore them. I'm reminded of the 2014 Russian invasion of Crimea: my recollection is many of the Ukrainians just surrendered without shots being fired, because their numbers were too small and their positions completely untenable.