Go Floyd and get a Tremol-No.
The locking tuners thing is nice but they're not as stable as a locking nut, before anyone tries to argue against this join a band with a keyboard player and then play harmony solos and very fast you'll realise that the locking machineheads and nice bridge thing is good but it's still not in the same league. This is why Neal Schon puts floyd rose bridges on all his guitars including things like his les pauls, there just isn't anything as stable and good at returning to zero as a decent knife edge trem.
Kahlers are nice but they don't have even tension distribution so on guitars with heavier string gauges or seven strings you'll find that you can make all the low strings flubby as all hell but you can never get the high strings to just lose all their tension, also though I'm sure they've improved it alot since they came out I still hear stories about Kahler being very finicky about returning to zero.
For big international guitar players it's a great idea to have locking machineheads etc, but for the average joe that doesn't have a few spare guitars and a tech to tune them between changes it's not so perfect. My boss has to go to Namm and Musiekmesse every year and the one remark that has stayed constant is that all these demo guys show up and between each track they practically have to retune the whole guitar, while the guys with the floyds get up, tune up once, play their whole set and leave. It looks more professional, and it's less annoying to the audience.
Having said that though try and stay away from Floyd Rose themselves they're not made particularly well these days, from my experience and from what people say on the net it seems that the best knife edge trems are the Ibanez Original Edge Pro and the Ibanez Lo-Pro. You can in fact get these as spares from the agents, or I'm assuming you can cause I put one on order for my seven string a few weeks ago. The other major contender in the knife edge double locking trem world is Gotoh, who in fact make the Edge Pros and Lo-Pros, John Suhr recommends them over the original floyds and has switched his production trem of choice over to the Gotoh bridges.
Schaller currently make Floyd Rose bridges for Floyd Rose, of course with Floyd Roses name on them, and they make their own Schaller Floyd Rose bridge. From what I've read the "real" Floyd Rose bridges aren't that great and suffer from very questionable manufacturing defects, whereas the Schallers I've never heard complaints about in terms of stability and tone but I have found overall they feel a bit more "klanky" then the others.
Tremol-Nos are great however and whether you've got a floyd or a synchronised trem I'd recommend them, as lame as the marketing crap seems they really do improve your tone when you put them into fixed bridge mode, mainly cause the springs no longer absorb the shock of the pick attack and because there's now a solid bar making a connection between the claw and the trem block there is a noticeable increase in sustain. They are also now available in this country, I have two ? they are R695 full retail.
Here's a link of some guy who has a quote from another website of John Suhr explaining the issues he's had with Floyd Rose bridges, I don't know what HRI is otherwise I would have hunted down the correct link.
http://www.thegearpage.net/board/archive/index.php/t-312436.html