Thanks for your reply.
As I recall, we're on WCDMA, so GSM/WCDMA Auto is the right option to use.
This still allows us to switch to 2G networks so there's your 2G/3G Pref.
Like you've asked I've PM'ed you so your friend can take a look at it.
Still, I'm pretty sure it's a bug. Why should it...