After driving to work, I saw that my car is leaking coolant.
It seems to be one of the two hoses shown
here, probably the fatter one behind the oil filter bracket, based on the puddles.
Gonna order
these silicone hoses from Greg V. and maybe also a thermoblock spacer.
Apparently, the hoses easiest to get to when the IM is removed. Also, some people have to remove the oil filter bracket in order to remove the IM.
Since I only planned to drive the SE-R through the warmer months anyway, I'll be tucking it away until I fix it and weather is good.
Hopefully that's before winter.