Anyone know how many MK1 road cars came out of the factory with a 4 barrel carb. Only reference I can find is GT40PR car