ノギスで↑のように各部のクリアランスを測ってみるとこんな感じ。わかりづらいですが、下がバッテリホルダー、真ん中の2.5mmがバッテリーの厚み、上が端子側の図です。

なるほど、CR2025を入れると反対側のバネの部分をしっかり押し込んで、端子部分の凸と接触する寸法になっている。

CR2032を入れると0.7mm厚みが増えるので、反対側の端子部の0.6mmの厚みを全部押し潰してしても0.1mmの厚みが吸収しきれません。

CR2032でも、どこかがたわんで0.1mmを吸収してくれるので問題なく使えそうですが、CR2025に戻すと端子部分がくたびれて接触不良を起こしそうな寸法になってることがわかりました。

ということで、トラブル回避のためにも、メーカーの言うとおりCR2025をつかいましょう、というお話でした。