Blade, after you applied the non normal cklist, did you have a chance of trying, after a few minutes, if retarding one thrust lever to idle the light illuminated again?
Did you have the ignition switch on FLT when it happened?
Anyway, your question is a good one: we are not given enough information on how to behave in such a case, for the next flight.
Academically, the captain should report in the tech logbook the malfunction at the end of the flight, so a new crew could take the airplane only after maintenance have checked the problem and answered.
The procedure they suggested is good, the one they would have used if they had to respond on the book.
Next question: if the light came back during the runup, would you have flown the airplane again?
Captain's decision, I'm afraid...