The W2-G is based on the gross win, not the net win. So, yes, if the player got a $5000 push on a Red, White, & Blue, he would get a W2-G.