Silly me! I should have realized (or remembered) that it's a Fujitsu product. It's just the name "Fujitsu" isn't on the machine anywhere, so I tend to forget (just double-checked, and no name on the outside!)

Thanks for sharing the model numbers, too. I'll be sure to check out the newer models!