I think there's the three mice we know of that are real, and then there are others he uses that are robotic, like the one that talked to Shion when Safu was like "ey Shion let's get freaky." And I do believe it's Hamlet who likes tragedies (hence his name).