Thank you! My designs are done with solidworks, since I use it for my day job I know it well.
As for selling the designs, take a look at the creative commons license information on the "thing details page". Since this design is listed as "non-commercial" you can't use it for monetary compensation. I have given the 8-bit mario a public domain license, since it is basically the original Mario, so that design can be used to sell.