HP 6510 and (sigh) wireless

[Stew Schneider]

I'm configuring a new HP 6510 for one of my non-profits. My local net 
runs WPA Personal with a shared network key and a hidden (non-broadcast) 
essid. Network manager sees no wireless networks.
After a couple of failed attempts, I booted into a Live CD and clicked 
on Network manager. I got a neat drop down with network (I had changed 
my network to broadcast essid) and my neighbor's, complete with power bars .

Back to booting off the hard drive, and the only alternative I get is 
"manual configuration". I edited /etc/network/interfaces to be

auto lo
iface lo inet loopback
address 127.0.0.1
netmask 255.0.0.0

auto eth0
iface eth0 inet dhcp

auto eth1
iface eth1 inet dhcp

auto eth2
iface eth2 inet dhcp

auto wlan0
iface wlan0 inet dhcp

Now, I still get no drop-down of wireless nets, but I can configure to 
my local net. However, I don't connect -- it seems that the passphrase 
is not being accepted. The router's settings are TKIP, but there is no 
such setting in Network Manager that I can see.

Any help?

stew