I decided to do a simple job this afternoon, of course things did not go smoothly. I wanted to replace the thermostat. The nuts came undone easily, but despite soaking in plus gas, the cover was stuck to the studs. Tried the two nuts trick to turn a stud, sheared it off flush with the ally housing

. Decided to drill the cover and chisel open around the studs, success. Applied mole grips, gently and slowly turned the remains of the sheared stud, sheared off again flush with the head

. Had a cup of tea. I have now managed to drill the stud out, and pick most of the threads clean. An old stud goes in reasonably easily, but I would like to clean it up properly. What size tap do I need please?