When I said student was legal PIC, guess I should have said student
had Private Pilot and all the ratings/signoffs to be PIC in this
airplane.

So yes, I guess he's legal so far as the FAA.