BTW, I just had this seal done when I got my 5.12 gears installed. There are two OEM Suzuki part numbers for that seal:
09283-35008 was the original design, and has been superceded by the new part #09283-35052. I would try to get the newer design. I'm assuming it is improved versus the old design. Good luck.