Hi Mikidymac, 1st sorry for misspelling your avatar, was going off memory.
You are right the engine is a 717 (not 787), and it is from a 2001 Seadoo GTI. I had the same thought process and did not double up on any gaskets, hence the left over ones. I am now waiting for the 60 psi graduated hand...