Aladdin eToken, OpenVPN and Windows

I've gotten a hold of an Aladdin eToken Pro32k USB Token, and tried to configure it for an OpenVPN setup of mine. Here are the notes I gathered (For now they're Windows only, I plan to setup the Linux client as soon as I get around to do it). HTH :)