I'm not too familiar with the CTS engine, but that sounds high for one gasket! Are both leaking? I'm not sure what he meant by removing the DOHC? It's just a cover over the cams, and shouldn't be too labor intensive. But again, I'm not too familiar with those engines.
Have you asked a Cadillac dealer what the price would be to change the cam cover gasket?