Jim, I returned home yesterday and of course had to check the extractor star and indeed when it was replaced, it was stamped with the serial number.
Thanks for that information.