Do you recall if it was THE original mask, or a replica made from the original?
No, sorry I don't, but I just did a search and found this article from 2020. There's a video that tells the story about getting the mask and turning it into the mask for Michael Myers. It's a little over 7 minutes. I'm going to watch it right now.
Halloween: Watch a William Shatner Mask Get Turned Into Michael Myers by Original Prop Designer
‘Halloween’ at 40: Their ‘Horrible Idea’ Became a Horror Classic
This is the first paragraph that I could grab via cut and paste:
Oct 11, 2018 · The production designer Tommy Lee Wallace went to Bert Wheeler’s magic shop on Hollywood Boulevard to buy a mask for Michael. He came back with two: a clown mask and one of William Shatner as ...
That's the story I heard in the documentary series. Tommy Lee Wallace is in the earlier video I posted the link to.
The mask was originally made from a mold of Shatner’s face for the Star Trek makeup department to apply appliances and alter his appearance. It was later found and used for the Halloween movie by the director.