Yes, that's what I said: you get a 22kHz file (ie, max theoretical freq 11kHz) - mp3 pro then adds the high frequency stuff using its own magic frames (the other 50% of size of the file)

Hugo