i assume you saw this topic on dyi installing a rdx antenna?
http://www.crvownersclub.com/forums/24-do-yourself-mods/24730-diy-shark-fin-install.html
all antenna are external as far as i can tell. Also do check to see if the roof is dented i doubt it since the roof is flexible the only problem is if they made a tear in the hole which might cause water leaking in...
Obviously someone had the time to reach up and force the antenna out so you should see if they have a surveillance camera and get the person. If you do file a police report since it is obvious this person must have committed other crimes in the past.
Most police won't come out and take a statement since the damage is minor. You would have to take the picture or video to the police station or if they have a substation nearby yourself and fill out paper work. It will be a hassle as they don't like dealing with "small" crimes. At least you will have a record and if that person becomes a repeat offender and do it again to your car at least they might do something after a second incident.
If you don't have a picture or video, you would just end up eating the cost because they won't bother to investigate.
I met a professor who had her purse stolen and she cancelled all her cards. The criminals tried to use it at a few convenience stores with different cards the same day she cancelled everything and was denied according to the bank and the credit card company.. The police, didn't even bother to go to the stores and ask for tapes at the stores when she let them know they were attempted at these stores...