Machining a ring is also a perfect option. A 3 mm diameter, 4 mm length magnet would work, and fit in an alu ring of 4 mm thickness. 4 mm thickness would also allow the drilling of a hole with M3 thread for a grubscrew.
Timing should be very easy to set, with that option.