Two hours later I returned from my errands to find a pile of insulation on the front lawn:
No only did they insulate, but they also ran wire for recessed lighting, which is a project that will probably happen sooner rather than later. This whole 3-season-sun-porch-renovate-to-my-office project is turning out to be a whole lot easier, cheaper, and faster than I planned. Up next we'll insulate the floor and install new windows. Then all that will be left is a little wiring, painting, and I'll be ready to move in!