Old SEADOO part number help

[charles.manifold]

Can anyone point me towards where I can find the part number for the carb on an 89 SEADOO with the 580 engine?
Me and a buddy are trying to rebuild one and have the aftermarket service manuals but are struggling to find part numbers to make sure we order the right parts.
Thanks!

 

[alldodge]

Here is the seadoo

https://www.seadoowarehouse.com/SP

Here is the carb

http://partsfinder.onlinemicrofiche...&a=1&b=9&c=0&d=-CARBURETOR-ASSY.-W/-FUEL-PUMP

 

[charles.manifold]

Thank you very much AllDodge!!