Dec3860 CMOS Battery Type

[infinisourcekc]

I cannot seem to find any information on the type of battery the Dec3860 requires for the board.  I know that it is not a CR2032.  The battery is definitely dead but unfortunately does not have any labels on it that would indicate type.  Has anyone found any documentation as to they type of battery these use?