Clutch pivot ball, pilot bushing, clutch fork, bearing, clutch and fly should all be replaced when the box is out.
No ifs buts or maybe's
Probably best also to swop out the slave and fit a braided line and new high temp fluid and new gearbox fluid when you are at it.
Alex.