For piece of mind I'd still pull the head to make sure you don't have a partially blown head gasket. JMO
