Vandalism - What is tenant's recourse?

[Neil Goradia]

Although my tenant has agreed to pay for fixing window (he's one of my better tenants), he is wondering how to recover this money from the person he suspects did it. He filed a police report when it happened. Does he sue the person to recover that money or do I have to get involved since I'm property owner? My stance has been that it's tenants responsibility to try and recover amount on his own since I wasn't there when it happened. Thanks.