What is the safest response if your helmet has taken a hard impact in a crash?

1. Replace it even if damage is not obvious
2. Paint over the mark and keep using it
3. Remove the liner permanently
4. Use it only at high speed