Thingiverse.com and tipping the designer. Has anyone ever been tipped, and how much?