ah shit, yeah, that's right.
I deleted my porn folder when I got a girlfriend. Now that she's gone, i've been trying to rebuild it (I'm still missing some loli stuff), but I couldn't recall the name of Round Shell, just that it was "Shell". Took me ages to find, and the file name was Shell_e when I got it, so there.
But yeah, Round Shell's the actual name. My bad.