MRCC has Marquette data back to the 1870's, and a little from the 1860's. There's a co-op site in town that is married to that dataset to keep a homogenous record in town. Unfortunately, Christmas Day isn't reported yet, but Christmas eve is, and this what the records look like. And just looking at PWS data in town, Christmas Day should be record max by 1-2 degrees, and record low should be eclipsed by 5-7 degrees.
Max 12/24 (2023 is 7th at 42)
1994 - 53
1877 - 52
2015 - 50
1889 - 46
1881 - 45
12/25
1881 - 47
1877 - 43
1940 - 42
1922/53 - 41
1928 - 40
High low 12/24
1877 - 40
2023 - 38
1936/82 - 34
1940 - 33
2014/15 - 32
12/25
1881 - 35
1877/1936/40 - 34
1891/1953 - 33
1882/2005 - 32
2019 - 31
Monthly record High low. Also adding all temps 40+, as that is really warm, especially late in the month. 1877 is the only year with a 40 reading 3 days in a row around Christmas. PWS data showing lower 40's in town, so you can see where that will end up, and until the system moves out, 2023 should extend 40+ records past Christmas, making it the latest since 1877.
46 12/4/1941
45 12/3/1951
44 12/2/62
43 12/3/62, 12/2/82
42 21/1/62
40 12/22,23,24/1877, 12/12/1928, 12/1/1932, 12/3/1941, 12/5,13/2001