Well, I don't do the repairs myself, it's done by a garage specialised in Guzzi (they have been doing it for more than 15 years) so I reckon they have the right tooling, and put the right parts in.
Well, as it is, it's a rather expensive repair as they need to open up the engine...takes more than ten hours, or so i've been told...
Your last point is interesting: i will forward it to the guys handling the repairs.