Yes, those goofy names are indeed their workplace ones. I'll explain in the future why they're named like that. I would have in this part of the comic, but I ran out of room.