@IAMFINE Congratulations.
It's totally fine for not getting extra document request. Also, in my AOR receipt i have file number which is actually my case number. Nothing to worry here.
Also, if you see the subject line, there should be some initials at the end of it. that can be your case officer!