I understand the basics of redemption....I own a chunk of warrants, and if I decide to convert I need to contact my broker.  For 10K warrants I would need $20,500 in my account which would be forwarded to Resverlogix and then the shares would be issued and placed in my account "in street name".  

Like you Koo, I don't know how that would play out in a squeeze situation if I was short.