I think they're 32bit, actually :-/. Realtek is real quick with emailing drivers if you email them with a request. Why they can't just post them on their website, I don't know.
My card isn't seeing any networks. This could be because it looks like Wicd doesn't see my card. But you're right, from that message it does look like it should be working. When I get off work I'll switch from Wicd and give network manager another shot. I'll also clean up my blacklist stuff.