I stopped by the dealer today, and showed them all of the pictures (a big thank you to Warp 9.9!!). They ballparked the repair at about $1500. That would be to put the clutch cover w/gasket, radiator, oil sump pan w/gasket, and then pull off that back plate, take a look inside, put the washers and bolts back on the output shaft, and button it all up. I'm probably going to drop it off in the next couple of weeks.