Halloween 2018 Secondary Knife Question

Hey guys, I just wanted some help on this, As i’m doing an H40 Build.

According to the Horror Costume Index On H40 (Halloween: 40 Years Later - Horror Costume Index)

“Michael uses several weapons in this film, but the most notable two are a 8” J.A. Henckels International Chef’s Knife and a Vintage 12" Clyde Chef Knife."

I found this listing on Ebay about the Clyde, can someone help n confirm that this is infact the correct particular knife? I know this sounds dumb (especially with the name stating in the listing) I’ve leaned more closer to this particular knife due to size and wanted to have it as tribute to the original Case knife from H1, Thanks!