There is always a chance that they are supposed to be CJ-7 and or a licence made version from some other country, e.g. something strange as a Ford-Jeep U50 of Brazilian origin. Chances are not too small that these names were used somewhere at some time, but they are certainly not so commonly known as the 'Tuxedo Park', 'Renegade' or the others you mentioned.

I'll keep my eyes open ... perhaps someday something turns up.