URGENT HELP NEEDED: Marantz Clock Upgrade

I've sent my Marantz DV8400 off to have the frequency clock upgraded. The problem is that the guy installing the clock can't find the crystal which needs to be replaced (none of this means too much to me, but I know it's a problem). Has anyone modded their DV8400 and can tell me where the crystal is located?
Thanks.