There is no serial number on the guitar, nor does the owner know anything about it's history. I have looked through a lot of the Tokai catalogues but can't see anything like this.
Gotcha. The MIJ ES models have gone up quite a bit pricewise over the last few years. Not sure what your budget is but if that is a concern, the MIC ES models really are great guitars that won't break the bank. 8)