Search for 2009kop and 2010kop on
www.3DContentCentral.com
There is also an entire robot accessory category just for FIRST or look for the Andy Mark part number.
Importing geometry has plus/minus results. In one case the parts are lighter - but the geometry is not smart.
Also, we did not duplicate nuts and bolts if they are already ANSI or ISO in SolidWorks Toolbox. Smart Fasteners are smarted still and save time.
If we are missing something, let us know and we will do our best to get the model. Marie