I thought so too, so I had a read last night. There were another ten, not too long later, but there's no list of them. Two of these were GNR vehicles, but it appears were withdrawn too quickly to receive their numbers. 2491 became 4054 later still, and that's the last 4xxx number I know about.
I have seen some nicce colour photos in the IRRS photos of 4xxx series numbers in a siding in Cork for Cobh services, 4027, 4036, 4043.