My oil pump shaft failed on my 06 gallardo. The dealer says to replace both shaft and pump. Between tear down, the oil pump, and labor to install, they want 14k. Do you think it’s likely my oil pump went with the shaft or it is still fine. It’s a 5k gamble, since a new oil pump is 5k.