The grey ones haven't received new shipments in weeks (or months?), not sure if it was discontinued or if shipments of that SKU are coming in again at some point in future. All new shipments have been the neon version, which has thus been in stock for a while.
Your friend could always just buy the grey joy-cons separately.