Lens shopping at Kuala Lumpur Airport?

Hello,

A friend of mine is having a 4 hour break at this airport before connecting to the next flight. He will come back to this same airport a week later, so I wonder about the following:

Are Nikon lenses available in shops at the airport or can they get ordered and picked on his way back?

What prices can I expect for a DX 12-24 or DX 17-55?

Any help is appreciated.

Thanks,
Anders