No,
Just a very difficult one for any one other than a JD dealer or transmission specialist to answer
No one puts out a spreadsheet of mower models and transmissions
And any other refferences will just list it as a K57 .
When I have a problem like this I ask Mulligans