Was this an openly available file from a 3D printing resource such as Thingiverse or Printables?