Yep that’s them. 10mm. Lovely touch to replace the rusted Marin one.Have you got a link for that?
Edit: Is it this?
m5 x 0.8 button head torx 10-25mm | Titanium MTB & Motorcycle Parts and Bolts | RaceTi
m5 Titanium Button Head Torx BoltLengths 10mm - 25mm Torx T25 drive - Thread Pitch 0.8mm See Picture 2 for all Dimensions CNC machined head Rolled Thread for Superior Strength Natural Polished Finish Lifetime Guarantee Against Corrosion and Defectswww.raceti.com