Desk lamp support

A veterinarian friend of mine had this desk lamp on a shelf, but the plastic support was broken. Should he buy another lamp just for that? I took the broken piece, made a quick 3D model of it in Blender, and printed a new one in "natural" color PLA, and it fits perfectly! :) The pin at the bottom of the lamp is 12mm diameter, and the tightening metal piece that holds it on the shelf is 7mm diameter. He didn't need the 12mm horizontal cylindrical hole so I left it filled to keep the whole thing more sturdy, and put a little rabbit on it instead, for fun. :) Of course, it's a support thingie, but it's completely printable without any support!