From the online manual for a GE gas stove about 20 years old.
TOOLS YOU WILL NEED . Phillips and flat-blade screwdrivers . Pencil and ruler . Two pipe wrenches (one for backup) . Open-end or adjustable wrench . Nut drivers or wrenches: 3/16?? and 1/4??
Why do you need a backup pipe wrench? Is one going to break? Fall in the hole?