The advice you are taking looks very good. I like to add a couple of things. Tell the yard:

The taper on the original hull were it meets the patch should be 8-10 to 1 and I would use light (2-3 ox/yd) cloth for the repair.

They should seal the foam as a separate step after the taper, coat with epoxy and let it dry before you add anything else.

A good core material for this type of repair is core mat:

http://fiberglasssupply.com/Product_Catalog/Core_Materials/core_materials.html

It can folded like cloth so shipping costs are reasonable. I was told once that you can make something similar by coating both sides of ~1 oz/yd fiberglass with epoxy micro balloons. The epoxy micro balloons mixture should be what West Systems calls peanut butter thick. I have not tried this since core mat is cheap for me.

My personal preference is to use Kevlar for the inner patch. Kevlar tends to hold even after glass or carbon cracks. I have made it to shore twice because I used a layer of Kevlar in my laminate.

Good Luck