Eileen and Hal, a married couple filing jointly, received $10,000 of Series I bond interest in 2020. If all the proceeds of the redeemed bond were used to pay qualified education expenses and their modified adjusted gross income exceeded the applicable dollar amount by $30,000, how much of the bond interest could they exclude from income?