Honestly if I was this guy I would request a copy of my own FBI background check. Your local PD can fingerprint you. It cost like 15 dollars, then you can see what they will actually see. If they are sending it to you, it will include any entry ever made. (Including expungemnets, etc.)
That would be the best option for ALL enlistments to do if they have ever had ANY legal issue. That way they could list exactly what is on the report. Many times we've had people list what they thought was their charges only to find out they were actually charged with something else that was similar. Having the FBI check in hand prior to listing anything would save lots of headaches down the road.