Yes, shown here are two separate examples of the same model. The first shown was released by Muscle Machines in their JGTC line, the other two images are the same kind of model in Tamiya packaging. Near as I can tell, Tamiya had a "Collector's Club" series of these JGTC cars, and shared them with Muscle Machines. Tamiya is perhaps better known for their radio control models, and as it happens Muscle Machines offered a handful of their 1/64 "Tooned" models as radio control...since the timing was very close to these JGTC issues, I suspect that was where this close business tie in came from.

The JGTC models, Tamiya or Muscle Machines, are quite popular among an avid cult following, and tend to command prices typically north of $20 on average, it is unusual to find single models cheaper than that though small lots might bring the price down a little on each individual issue.