So the amount requested is not all that much money for a radio telescope. A world-class ham radio tower (200 feet or so with appropriate beams) will run about $10,000 per each. So the cost requested here is not that out of line.