The k7 uses different spring bolts also, I've got a set of k7 bolts and washers however I cannot compare the height just yet as the k5 bolts are still in the bike. When I purchased them I followed the same train of thought, having the washers in there on the old bolts it would change the spring tension (all be it minor). They use the same pressure plate however, the clutch hub is different so who knows if the changes did anything to the overall spring heights...