I know I saw a post sometime back about changing the plug in a WR400 but I can't find it. I'm a newbie at working on the WR thumpers and now my plug is fouled and I can't get the darn thing out. Do you guys use a special socket or what? Thanks!!