Also just in from the mail, a 3d-printed window switch, and it looks like it came out too small:
I ordered it printed from Scupteo.com, and looking now at the specs, the default scale for the big piece is 12.2 × 5.2 × 2.5 mm. The dimensions measure correctly, but I wonder if it wasn't done in imperial units rather than metric. 1.22 inches seems like it would have been just about right for the long axis of the big piece. I asked in the thread over on InsightCentral, but if anyone here has any experience with this bit, let me know.