Anti theft lug nuts?

Daughter has a flat on her 2006 Honda CR-V. Removed the wheel with the flat tire no problem. Went to dismount the spare and I see this. WTF? Never saw lug nuts like this. I assume they are some anti theft nonsense. Any idea where to get the right socket to remove them? I thought I had every possible tool, but not this one. All 4 tires on the car have regular 6 point lug nuts. Only the spare has these. Was this OEM or did the genius who sold the car to me install these and not give me the tool to remove them? Thanks in advance for any advice.