Thanks. There are a few rebuild kits around and some complete pumps, so even though the cost is making my eyes water, I will Probably go with the latter. It would be nice to get all the normal functionality back.