Pretty much. I installed the OS but used the network installer to do so. They've got so many hooks into this thing it's hard to say exactly what's going on.

According to the wireless properties I'm connected via Security Type= WPA-Enterprise and Encryption Type=TKIP