According to the Ohio Office of Budget and Management (OBM), the $7.5 million was included in the budget in the last few ...