I finally had time to pull the transmission yesterday. Clutch and flywheel come off, the plug we need to remove is the larger one at the top right.
All it took was a few good hits (be sure to use a slightly smaller diameter, just under 3/4" or 17mm socket or bar) and the shaft came right out. This was world's easier than the special tool in this case (about $100 wasted).
The plastic sleeve is still good, that's going back in.
Thanks to Jay
@jay745 Jason Stathumb for inspiring me to fix my #racecar