the nav light can be purchased from the site at the top ("PARTS"), or you can just order from any marine supply store, it is a standard PERKO part (model 252).
The advantage of getting the seadoo part is it comes with the correct seadoo connector. The disadvantage is you'll pay 3 times the price.
