Pump cover screw on Extra

Hi, does anyone know what size screw is used for the pump cover on the Extra? Mine's a little stripped and I'd like to get it swapped out before it decides not to come out anymore.