ARKIE got it right. I just performed the operation today. I used a 5/16 6 point socket to remove the torx-head bolts. Also a 1" open end wrench works just fine on the nut on the tube. Hardest part was working the tube out of the back of the engine. Now to tackle the spark plugs.