TV plug sleeve

Is the plastic sleeve of your TV plug broken to bits or cracked? Here is a replacement sleeve.

Note that this is just the sleeve, no other parts are included. Typically, it is the sleeve that breaks, often due to aging plastic.

Included is the source file for OpenSCAD (with comments), and an .STL file for printing.