I needed to change out the battery from my HRM Dual sensor, the screw heads stripped, I was lcuky enough to get one screw out. Yes I used a very small crosspoint which I have used on my other HRM dual sensor. I ended up having to chew up the cover with side cutters and chew out around the crew holes, this gave me enough to grip the screw heads with the cutters and I got them out. I need another battery cover and screws. I suspect I did not get the screwdriver in properly due to the build up of salt into the screw heads.(lesson learned-rinse out the screw heads before trying to remove) I see lots of 3d printed battery covers on EBAY, are they any good? How about the screws? I see Garmin now uses tiny torx screws, would I be better off replacing with those?