Here's a link to a video for DSMC1 replacement. But I think DSMC2's work-around is...<checks notes>... to leave the camera running for ~36hours!!? Facepalm.
To be fair, since you can recharge the battery of DSMC2s, most probably wouldn't opt to open up a ~$15k~$50k camera that is still being serviced (and potentially still under warranty). On the flip side, yeah, it's pretty weak that RED didn't make the clock battery compartment externally accessible with DSMC2 (and certainly Komodo).