No, not yet. I have until Feb 13, so I am just buying dribs and drabs when I see a nice drop like today.
Essentially, WGO is trading at 2cps above the minimum bid price. I figure STX can't go less than 36 surely, so as long as the WGO shares jump over, it makes no difference what the price is now, just that while I have money to burn, buying WGO is cheaper than buying STX.