Trek 520 (2021) saddle dimensions

There are several different Bontrager evoke saddles.
A quick search turns up the Evoke RL, Evoke RXL, Evoke R, Evoke 1, Evoke 1.5, Evoke 3.... It is difficult to know what changes were introduced between models or exactly which model is on the bike.

According to trekbicyclesuperstore the Evoke RL is 138mm wide

According to sweetpetes.com the Evoke 1 OEM saddle is 138mm wide

It's been my experience that published numbers may or may not represent:

1. Reality
2. How I would have measured it
   So a grain or so of salt may be needed.