If that's all it was and it didn't eat anything else important up, it shouldn't be too big of an issue, just annoying - at least muriatic acid is cheap. Clean with baking soda, rinse with water, and let dry and you should be good to go.
And GIG'EM AGGIES!!
FTAC 2000.