I was able to find one rather easily a year or two ago, I bought mine from leaders rpm. Seems to me it was around 20 bucks maybe some shipping as well, but it's cheaper than a broken ladder.
I didn't find a four pack but I think once I found them they were around $10 bucks or so each. I want to see what this looks like since its not a seadoo brand before I get another as a back up.
I did get the part Friday and I put it on this morning, works great but the mounting screw was to short so I had to get a longer stainless screw but other then that it seems fine