In the end, I needed to run OSX from my DVD and then it installed as normal (although we did the archive option instead of just upgrade because previous installsed had failed.)
To get there, I think it was holding S right after I restarted. We tried a couple options with held keys, so I'm...