３種類の長さを試してみた結果、35mmを使うことにしました。
厚み調整のためにテープを巻いてます。

25mmのほうが純正の長さと近くなり、短くてスポーティーな気がしますが、シフトブーツとの関係である程度の高さ欲しかったので。
シフトブーツをつけていない場合は、25mmでよいですね。