I haven't encountered any yet, but I'll be getting the socket. I hate running into a fastener and then finding out that I don't have the correct tool for it. It almost never happens, but ***** when it does. A 5 would probably work, but could strip a tight or rusty 4.5.
The closest thing I've seen to this size is a 4mm on some headlight adjusters.