Osobiscie nie pchał bym się w taką naprawę, a wymienił cały dółi zrobił głowicę.
Kwestia jak ty podchodzisz do tej naprawy. Czy ma być w miarę tanio i szybko, czy pewnie na 100%
W moich stronach wychodzi ok. 1300 za zrobienie głowicy, wymienione praktycznie wszystko co się da, więc myślę, że przy rozebranym silniku warto zrobić i mieć spokój.