fiddler:
I guess my question really is: What is the fastest way of switching an output pin ?
How fast is fast enough? I find it hard to believe you're actually going to notice the LED switching frequency if you're calling this code frequently enough for performance to be an issue.