This included an engine rebuild - MK1 Cooper 998 - in which he decided to fit a fully synchronized box, rebuilt by known expert.
1)
Seeing the pictures, I realized that the idler bearing (box side) doesn't have (or looks like it doesn't) the clutch side circlip.
This is a 4 synchro box, so should have 2 circlips, one each side of the bearing. The box side circlip seems to be there.
Here is a picture of it. I can't see the groove for the circlip, so the bearing may be out of position too.

I don't know how tight the bearing is in the case, but I'm wondering why the person who built the box didn't fit it.
Do you think he should have any problems? Is this a common practice?
2)
He used the original idler gear, which is shorter (box side) than a 4 synchro gear. This means that the shaft may be running only on half of the bearing as the bearing does not sit flush with the box like they on do on 3 synchro boxes.
I can't make any trial fit at the moment, but visualizing it, I'm seeing a problem.
The engine is running fine and the car is on the road. Do you think he should strip it and replace the idler gear and fit the circlip or this shouldn't give any problem? I'm not liking the idea of a 3 synchro idler on a 4 synchro box.