Tim, those numbers that Thomas posted were not quite correct for the clutch side seal. The seal he list is a 20mm ID when the crank is actually like 17.5mm.
Thats why I went through the trouble searching them out again. Hotshot actually come up with something even better but I have not tried them myself yet.
You're right. The math just doesn't work on the aforementioned post. I also notice that he never answered your request to "let us know how it goes".