Girlfriend got bit at pet store

My girlfriend was picking up some bedding for our rats at a local pet store today and saw a lone Russian blue sticking his nose out of the cage. She went to pet it and got bit real hard on her index finger. Drew blood and everything. She was too embarrassed to tell any of the workers and I was not there with her.

She went to urgent care and got a tetanus shot.

Should I contact the pet store and let them know they have an aggressive rat? Id hate for it to be put down, but also not sure they should be selling rats that are so aggressive.