Yeah, that price point would indicate MIK. A semihollow MIJ would be a lot more.
I can't see US production on these. It wouldn't be as expensive as that factory special run, but still, the 90s versions went for roughly $1500 street. Nearly 20 years later you know street price would be well over $2000.
Hard to tell how close the pickup's tone will be to the original just from those samples. Too many other variables.