Tag: drilling out a shank to fit a 9 mm filter