Both are licensed theme games. However, there was a "generic" version of NASCAR produced for international markets, called Grand Prix.
That's a good-looking playfield, for Stern anyway. I sure hate those as-boring-as-possible letters though. I bet getting permission to make the "SPIN" decal took a few weeks -- it's like avant garde compared to the others.Me likey.