This requires mediainfo and jq.
for FILE in *.mp4; do mediainfo $FILE --output=JSON | jq '.media.track[3].extra' | if egrep -q 'XXXXXXXX'; then echo $FILE; fi ; done
You may need to adjust the jq .media.track[3].extra
to whatever track number your media has the menu information located.