Would anyone happen to know the size of the drain plug bolt? I have a limited set of sockets, and I'd rather figure out whether I need to borrow a socket before the car is up in the car. Thanks.