Son works in a large NHS hospital, he does a manual/logistics job in the hospital for 12 hour shifts, 4 on/4 off. He took clothes and trainers to work today so he could shower there after his shift and go to his girlfriends after. All his clothes + trainers, backpack, wallet (with about £40 cash) house keys, total value of about £500 were stolen from the staff changing rooms which is the only place for staff to keep their personal belongings in the day. There were no lockers available. One item, a beanie hat, was designer and had sentimental value as a gift. My son is absolutely devasted about this particular, for context he is diagnosed ASD so can be very sensitive.
I know his work place wont act, but is it worth reporting to the police?