I think it probably went down something like what you say.
But, normally, we’d have to be talking about Junior ROTC (High School ROTC).
Yes, it was JROTC and not ROTC. (My son is in JROTC. Should have noticed that.)