...where this is pronounced. And other versions where I don’t see it at all. I am sure that there are experts on this forum that have more knowledge in this area.
If the 3940 is a non-starter, then I would go with the 5140, ‘squished’ numerals and all...