I found an old (1999) tuning magazine. It was a Porsche special. 951 isn't even mentioned! All about 911/912, 924, 944, 928.
If only 7500 stayed in Europe, I guess only a few are here in Holland.
Btw: Did you know a FIAT 850 can and will overtake a Porsche 356 going downhill on a Jura mountain road?