I've heard from PRJ that the green tops are typically around 38's, not 42.5's.