Dont know which shop manual to buy

[Bill35128]

I bought a 2000 model GTX last year. I want to buy a shop manual but I am not sure what the exact model my SeaDoo is. How can I figure this out?:stupid:

 

[ski-d00]

you can tell by the engine that is in it. The 3 options for a GTX that year, as I recall, are a 800 RFI, 951 DI, and 951 carb model. The motor id plate is on the front of the motor. The direct injection models usually say it on decals on the hull and the engine fuel rail.