What size Allen key for new jet pump?

Just ordered from PWC. Is this a 12 or 13mm Allen key? Biggest I have is a 10 and it was too small.

Thanks in advance!

It was a 12mm by the way in case anybody else goes looking