And finally, pics from the laptop itself:
You can see that the two middle pics are from the Dell wireles utility, and that WPA2 is not an option. The two leftmost pics are from Windows Wireless Zero Config, and it does allow you to choose WPA2. You can also see that it only lets you choose TKIP or
AES, not TKIP+AES. This is the only place that would accept the WPA key I'm using as well.
Also, in the rightmost pic, you can see she connects to her work servers using the "AGN" VPN. I have disconnected it and tried to connect to the wireless network, it doesn't matter.