Yes, he did get one which reflects the total amount received. Yes it is usually non taxable but it still reflects our income (correct?) which then makes like we have double the "regular" amount and therefore bumping us out of "lower income" benefits for our children.
