Base on your given measurement, I can precisely calculate the exact diameter of the complete circle. The key is nearly close to half of the circle with diameter of exactly 15.5mm. You can use the Aldi trolley key for $2. Aldi key is 20mm diameter with only 3.1mm thickness. You can add 0.5mm brass or metal shim. See photo.
