Depends, did he download a game off the site or was it embed onto the web page, only way is if it was downloaded and not embedded.

I googled the file name and found this website that gives some useful information on it:

What is iwingameshookie.dll? - iwingameshookie explanation.

It doesn't seem like a trojan, but it seems recommended to delete the file.