Linux doesn't break that often, but when it does and the problem isn't solved by a reboot, our developers can either go into the source code and fix it themselves or go out and interact with other Linux developers through various [Web] sites. In 100 percent of cases where we have asked for developer help, somebody has run into the problem before.