I always just use Ctrl+F and then use keywords, in this case, I would search for "Gilligan" because it's the most unique word.
I hate when I have to decide between in-game titles and box titles for listing on VGMaps. In almost all cases I go with in-game titles. There are exceptions like
Bugs Bunny Birthday Blowout (box) / Happy Birthday Bugs (in-game) and
Gyromite (box) / Robot Gyro (in-game) that I feel are necessary, but they bother me because it's hard to be 100% consistent one way or the other.
From dealing with VGMaps, auditing ROM sets, sorting through my collection of digital box art, etc., it seems that I'm always working with game titles. There are lots of issues about names. For example, company names ("Disney's DuckTales"), in which I usually omit the company, same with creator names ("Sid Meier's Civilization", "Garry Kitchen's Battletank"). "Bram Stoker's Dracula" is a tricky one, I would prefer to call it just "Dracula" or "Dracula, Bram Stoker's", but it has been heavily promoted as "Bram Stoker's Dracula", I think that's how the movie is title on IMDb and such. I know, it sounds bad to omit the creator, especially as I keep the name of sportspeople. So it'd be "Andre Agassi Tennis", but "David Crane's Amazing Tennis" would just be "Amazing Tennis, David Crane's", or often just "Amazing Tennis", because I certainly don't say "Boy And His Blob: Trouble On Blobolonia, David Crane's A". But then when the name messes up the order of the games, like "Ayrton Senna's Super Monaco GP II" or "Ryne Sandberg Plays Bases Loaded 3", I might have to omit the name or move it after, because other Super Monaco GP and Bases Loaded don't have them. This leads to a difficulty with "Mike Tyson's Punch-Out!!" because it is so iconic, that you would want to look under "M", but the "Punch-Out!!" series exists without him.
I could go on, but that might be a good video idea, assuming I ever get caught up on all the books I want to review on my
JonLeung1 YouTube channel.