Clearly this isn't the same gun, but if the shooter's gun is similar, it might be striker fired.
One can clearly see the strikers on this picture.
One can see pipe caps on the one used.
This one looks like a much nicer design.