10 seconds of Googling says Charvels with a Ft. Worth address and 6-digit serial numbers were made in Japan from roughly '86-'90 and assembled in or imported to the US. The Texas address belonged to Jackson/Charvel's then-parent company, International Music Corporation.