Adapter that lets you put a micro 9g servo in a Tamiya Lunchbox

When I bought my son a Tamiya Lunchbox for Christmas I forgot to buy a servo. All I had were micro 9g servos so, while a proper one was on order from China, we designed and 3D printed this adapter that let us put a micro 9g servo into the buggy instead.