Im not sure if I missed it somewhere in your writeup. But there’s also Castlevania: Symphony of Despair, the multiplayer co-op game.