BMW M51 with dead pump - options?