OK --- that's what I hoped ---

Thanks

And in particular, how do you guarantee that each one is properly recognized so that when you boot up, you get the same associations every time?

This is a problem I've never been able to resolve when I've tried to use multiple identical keyboards over USB.