I've tried that and I can see the corresponding entry for the GSM format I'm trying to convert to:
===========================================
Format Tag 1: GSM 6.10
Standard Format Count: 4
Support Flags: Codec
Format Tag: Gsm610, Format Size: 20
Formats:
===========================================
.....
Format 0: 8.000 kHz, Mono
FormatTag: Gsm610, Support Flags: Codec
WaveFormat: Gsm610 8000Hz Channels: 1 Bits: 0 Block Align: 65, AverageBytesPerSecond: 1625 (13.0 kbps), Extra Size: 2
===========================================
I'm running Windows 7 Pro, 32-bit. If it makes any difference, I can save as GSM using GoldWave audio editor.