what size socket for oil pressure sensor