Fine tuning the header hole

Happy birthday to me!
File name: HalfHeaderHole2
I only got one print done before the nozzle clogged. I was trying to figure out the size of the header hole by printing just that one piece. Instead of printing the whole piece, I printed half of the diameter, so that way I can clearly see how it’s fitting from the outside. I did it with three extrusions to make the hole. I can now tell that the last extrusion is too narrow. The middle extrusion looks like the right diameter. The first extrusion is way too wide if the pin is without the casing. 
I accidentally scratched the print across the last hole in this picture.