Yes, they are Mugen part numbers. Most hobbyshops will not stock them since they're not commonly used.
If you go to
http://www.carolinasrc.com then click on MBX5 and then diffs, you'll see them.
Or,
http://www.amainhobbies.com parts, MBX5 and then scroll through the pages.
Tony P.