You could remove the one from the wall and there should be a label on the back. with the model number.
You could also call Coleman and talk top their support folks and they should be able to tell you which digital would be a plug and play.
If it was me, I'd buy the digital you identified and go for it.
Whatever you do take pictures before disconnecting wires so you know which wire goes where and tag the wires as they are disconnected.
US Army (Ret)
2020 Entegra Accolade 37TS
2019 Jeep Grand Cherokee Trailhawk (Toad)
FMCA - F432054