Good news that it's fixed Chris! To adjust your free play, you just have to remove the clutch switch wire, loosen the nut holding the clutch switch and turn the switch anti-clockwise to get it to come out further and give you more free play. Then just tighten the nut and reattach the wire.

Could you ask your mech how he lubed the throwout bearing?