So I'm tearing down the bike in preparation for checking the valves and replacing the belts. I was looking at the belt tension pulley and noticed that mine does not have a hexagonal nut to increase the tension like in the video from CA Cycleworks as well at the tutorial by Cesna. Mine has an oval-shaped piece with 3 recessed holes. I'm assuming now I need a specific Ducati-made tool to be able to snug up the tensioning pulley. So where do I get one?