On the Bugatti engine they might have, but the Jaguar has a different distributor drive to the Bugatti, which of course you already know.
Not sure what that rev counter is out of, if anything. Maybe an aftermarket item.