How much to replace a new laser on the Denon 3910?

Normally I would bag it and throw this a "regular" 3910 in the trash, but this baby is John Tucker's Exemplar 3910, so I'm figuring the laser is a cost effective way to stay with greatness.