I already had quotes for a rebuild anyway.

However you may be interested to know that in the UK, a reliable camera repairer/restorer (there are a few and I asked three I have used before for quotes) will charge in the region of 300-400 (say $450-$600) to ensure that lens, body and back are in perfect order, assuming no major problems are found.