Crank arm length: 172.5 vs 175. Is there an appreciable difference?

[XXtwindad]

I’m curious. I usually use a 175mm length crank. Most people I know that worry about these things (and that might be the operative word) prefer a 172.5.

The reason I ask is that I’m really intrigued by the new Praxis Zayante gravel crank and that only comes in a 172.5 length (or shorter).