They look to be in good mechanical condition. An idle jet I pulled was plugged, but that's not a problem. The throttles feel solid and crisp.
40s on a hot 2L engine aren't too big at all. I know people that prefer 45s, but I think that's too much short of something set up for race. These are jetted for a little smaller, milder engine than yours, as they are, but it's super easy to change the setup. I ran a set of 40 Dellortos on a mild 1.8L 8V GTi engine many years ago, and with 34mm venturis. It was at sea level, but it was awesome compared to the 32/36 progressive that they replaced.