竹内はまぁ記憶にあるけど、宮本を高く評価した解説者ってどれくらいいたっけ？