Loren, I would agree on the timeline quoted by dealer. I don't know what those folks charge now days. If, however, you have an overhead hoist (one person job) or an engine hoist (two person job) you could repair it yourself. My background was in heavy manufacturing as a machine repairman for 30 years, so that helped. Get yourself a manual before starting project.
My 150 was a junker when I bought it. After seven months of rebuilding I learned a lot. Previous tractors were 1942 Farmall BN, 1943 Ford 9N and a International TD-6.
I hope the Buckeye's do a better job on those Gamecocks when they next meet.