Hm, as far as I can tell these OPTIONS method requests that I'm getting are coming from users trying to access my shared files over the network. Why this should cause anything to be sent to port 80, I do not know. And it doesn't happen all the time. So I ask again, what is Microsoft-WebDAV-MiniRedir/5.1.2600?