Sony Walkman TPS-L2/WM-3 Replacement Battery Cover Catch

I recently scored a broken WM-3 for a good deal and after replacing the belts, calibrating the speed, and resoldering the mic I was still missing the battery catch. I looked online and it seems no-one has any replacement or 3d printable parts for this available. Luckily the spring was still attached so I modeled a simple plastic catch that fits where the original did that can be inserted through the spring, glued to a small washer to permanently affix it, and finally tensioned with a piece of th