My amateur opinion (not being born yesterday) is, if it's just a hose that popped off you're probably okay as far as lasting damage is concerned. You shut it down very quickly so I'm betting no problem. Don't forget the engine oil does alot to keep things cool too.

Indicates to me the DEALER (or Porsche stateside preparation center, if they have one like BMW does) didn't do their job. They are supposed to go around and tighten stuff from top top bottom and front to back.