Well CRC32 would be a bit of a silly guess considering it's a 16bit result. It's CRC16 with poly 0x8408 and an initial value of 0xFFFF.
Not too difficult to find with a bit of disassembly
You are assuming he knows assembly.
All he did was a sniff and copy paste, otherwise it would not have been difficult.