You don't need to buy a new lanyard from seadoo...Either go to like you said Walmarts and get the coil from a cheap lanyard...$3.00 or something and a stainless steel crimp from like Home Depot, or go to West Marine and spend like $9.00 for a replacement and attach it to the lanyard cap, same way.
Karl