I changed my gasket a few months back. I can't remember the price...need to check the bill again. Not too expensive to get it replaced.
By the way, where did u get this catalog? online? I want to changed the O-rings for my gear-box. Wanna refer to it.