Does anyone know if these are the Mario red joycons? My standard ones are the gray so I have no point of reference if these are the Neon Red or not.