The money wasted on public radio