Hm, 20 oder 25 sollte nach meiner Erinnerung eigentlich passen.
Wobei gerade an der Lampe, die ja nicht mit extremem Drehmoment angeknallt wird, auch Trick17 funktionieren sollte: Irgendein Inbusschlüssel sollte den Job zur Not auch tun.