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.