[Query] Heuer Skipper 73464 Chrono Pusher Replacement

Hi all

Would like to check on the correct chrono pusher replacement for my Heuer Skipper 73464 as my start pusher metal plating has scraped as shown in the pic.

I sourced around on eBay and was told there are 9.5mm and 10mm variants (Funny that 0.5mm would make such a big difference). I included the following links and specs as listed. Hope that a Heuer guru could point me in the right direction. Note to self: I will try to post this on onthedash as well.

1)
https://www.ebay.com/itm/Vintage-Heuer-Steel-Pusher-Autavia-Carrera-Etc-New/124328412417
Length: 7.30mm
Thread Diameter: 2.50mm
Pusher Diameter: 4.50mm

2)
https://www.ebay.com.sg/itm/133513741529?ul_noapp=true
comes in a set of 2 pushers. There are 9.5 or 10mm variants sold by the seller thus not sure which to get. He offers full refund but want to save myself the hassle of getting a wrong part.

rgds
Mel

many thanks, will do. Facing problems to post this query onthedash