DiscMaster can also search within archives by filename or content of the file! So if you knew the name of a theme that might have been another route.