Seems about right. They're kind of elusive, since they probably have some connection to the Lenovo line in the PRC but are operating very unofficially. Links to offerings show up on Thinkpad forums and the Thinkpad sub-reddit, perhaps also on the Face Book.
There needn't be much of a connection to lenovo. It just uses a thinkpad chassis and the keyboard. It has its own EC which works with the thinkpad keyboard. It doesn't use the lenovo EC.
