It could be true. Some of his protos are... very "old" protos. Meaning they have been around for a while, so some are dumped. E.g. the UMK3 for SNES proto that is dumped. And some others, for Megadrive. But it's hard to tell for sure.