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?