one of my cats used me and my baby as a launching pad when she was chasing the other cat, and as a result scratched the baby on his arm.they're both indoor cats from birth, up to date on their vaccinations. should I take the baby to the doctor or not worry about it, doctor /an/?(there's no redness or swelling around the scratch)(pic is culprit in question)