Finally I'm getting somewhere.

My apologies but I eventually found the .hex files that PBP3 has been generating.

I'm starting with the real basics - trying to turn on an LED.

I can't get any of the demo projects to work at all !! I did read and save the hex from the demo board and can reload that successfully.