Budget surplus: What should Michigan do with an extra $3B in funds