FWIW, in the 2013 FRS manual, it says to use "Toyota Genuine Clutch Grease or equivalent." And it says to put it on the splines only, and not the tube that the TOB rides on.

FYI, I got 15 mm travel at the top of the TOB lever arm where it sticks out of the top of the bell housing.

I will try to see if the dealer has any I can measure. I have a neighbor with one too. I might ask him.

I just measured another car's clutch slave, and it was the same 15 mm motion as we have. So the clutch is getting full travel, at least to the slave cylinder.

Does anyone know if there is a possibility that the replacement TOB that Toyota used is not exactly the same dimensions as what came in the car? So could they have grabbed an old stock, pre-update TOB? Could it not stick out as far? That would cause the clutch not to fully disengage. Anyone do this job and have them side by side to see if there was any such change?

Other than that, I'm still left with the possibility that the mechanic used the wrong lube or no lube. That is, on the input shaft causing the clutch disk to not pull all the way from the flywheel when it is cold.

On driving it more, it definitely does not go into 1st when rolling - when the car is cold. And it has a hard time going into 2nd. Though it seems 2nd is better if I go faster - of all things.