Ben decided to purchase Series EE government savings bonds in order to help defray his tuition costs. Ben's redemption proceeds from Series EE savings bonds during the taxable year 2022 are $10,000, including the principal amount of $8,500 and interest of $1,500. Ben's actual qualified higher education expenses amounted to $9,000. Ben's adjusted gross income prior to the foreign earned income exclusion and the educational savings bond exclusion for 2022 is $88,500. How much should Ben include in his gross income for 2022