AVX most recently traded at 13.5 (about 30 minutes ago), but current bid/offer of 11.5/12? Seems very odd.
Also market depth suggests that there is pretty decent interest in AVX.
Anyone hearing anything? The lack of news coming from AVX is somewhat concerning.