Is the $10 million of abandoned coal mine funds being spent to renovate the arena auditorium at UW the best use for these funds?