Every year the draft process produces a guy who goes from really good to great, for no other reason than people harping on tape or blowing a gasket about the combine. The simple fact is, Thomas didn't produce as well as Allen, and didn't look as good as Allen. If Garrett is gone - I'm hoping Mongo is right and Cleveland screws the pooch - then the only 3-4DE that's worth the #3 pick is Allen.
Otherwise, it should be a S, QB, or trade.