Wie entfernt man eine defekte Zündkerze aus der Steckdose des Motors?

Ich habe die Zündkerze an meinem 1998er Honda Civic Dx gewechselt. Eine der Zündkerzen war richtig fest. Ich sprühte etwas wd40 und drehte es langsam. Ich habe es verloren, aber es wird nicht herauskommen.

Ich würde es mit einer Drehmomentsteckdose versuchen und diese mit einem Hammer in das Zündkerzenloch schlagen, eine Verlängerungsstange eine Ratsche verwenden und es lösen. Es ist möglicherweise am besten, den Motor heiß zu machen und die Zündkerze mit wd40 zu tränken