After thinking about my experience with intermitent cold-light sources - flourescent lamps - the major reason they flicker is that they are loose in their socket and they just need a little wiggle now and then. If the lamps have wire leads then the screw that clamps the lead may be loose. See if you can find an electronic engineer/tech/hobbiest who can open it up and see the connections are tight.
10,000 hours is a _lot_ of hours. There are about 2,000 working hours in a year. Pulling a number out of the air ... I doubt an enlarger has the light on for more than 10% of the time day-in-day-out. That gives 200 power-on-hours/year and it would take 50 years to accumulate 10,000 hours on the lamp.
But the 10,000 figure is most likely based on the factory noticing that if left on more than half the lamps are still burning a year later. A fair middling number probably go belly up after only a few hundred hours.
To see if it's a failing lamp can you see if there is there any blackening at the ends of the lamp?