bin davon ausgegangen, dass die Ventile nicht mehr verfügbar sind, wenn es die noch gibt muss man ja nichts umarbeiten....

Ventile zu kürzen ist nichts ungewöhnliches (https://www.youtube.com/watch?v=ubqBzCJAKcg), es muss evt ja nicht ein ganzer mm sein. Oberflächenhärten lässt sich messen und Härten kostet nicht die Welt...