Well, I let it cool for a couple of hours, cleared the EEC-IV codes and went for a longer drive. The 172 code returned, 117 did not. I didn't push the car hard, maybe 100 KM/hr for a few minutes. Total driving time was perhaps 20 minutes or less.

When I turned off the engine and took a peek, the coolant reservoir wasn't boiling this time, however I could hear a "gurgling" sound as if a fluid was boiling, coming the engine, maybe close to the air filter. I couldn't pinpoint it.

I'd like to be able to drive to work tomorrow as there's a garage that I like to go to close by, but it seems as if that would be a bad idea. Taking the bus to work tomorrow and picking up a water pump on the way home sounds like a better idea.