Well, I can tell you that in the US you have to call Epson and give them your serial.
The number here is 317-406-2679. It's tough to get through. You'll probably need to leave several messages before they get back to you, but that's how we get them in the states(unless you know someone who will send you one).
For the field service manual there's a site called
www.2manuals.com that has the field service manuals for a few bucks.
I don't know where to get serverprog.exe for these. I'm looking now. I have the sneaky suspicion that it's the same program as for the 7900, since the heads and everything else, other than the presence of the orange and green cartridges, are the same. Please let me know if you find it.
Hope this helps.