$1600 for a brand new gearbox isn’t as brutal as I would have thought. Yes, my PDF service manual references the Y4M. I’m currently talking to a local gear shop right now that is highly rated and suggested. He gave me a quote so far of 400 something for labor (if I bring the trans to him), and is currently looking up to see if he can get his hands on the bearings. Lets see what he is able to come up with.