Yes, you are correct I used the built-in LED for what I called pin 4. I used the homemade tool for pins 8 and 14.
When I read your original response I assumed the 'Factory DM SW/LED' was a special diagnostic tool (which I suppose it is)....
Rereading I see you meant the push button / LED.

Hopefully that puts back on the same page.