I remember the incident as did Blackhand, We stopped using chromed screwdrivers (RAAF) Also the oil spouts were banned as they were chrome plated and it sometimes chipped off.
Thes days, I recall the tendency is to use a 1/4 " sharpened Stainless spike fitted with a nurled 2" Brass handle. Two quick pops and you are done. The Marlin spike on a good knife works well too.