Depends on what gasket material he's using.

Typically gaskets are either cut using a vinyl cutter, or are stamped.