I rode into a steel bollard on my way home tonight, and dinged my 7003 aluminium down tube. The dent is about a third of the way down the tube on the drive side, and is roughly fingernail-sized. There is no sign of creasing of the metal or cracks in the paint, just a dent. Should I be particularly concerned about this, and is there anything I can do about it if so?