Wenn ich es richtig mitbekommen habe ist das Modell von thingiverse gewesen. Das hatte dann wiederum ein Bekannter bei einem seiner Bekannten drucken lassen.
Das ist er: https://www.thingiverse.com/thing:2972169
Eventuell hast du ja auch wen der das für dich machen kann.