Got Coach back and they unplugged radio

I had my coach at the dealers to get some repairs and got it back and they forgot to plug my radio back in .I picked it up after they closed and did not notice it till I got about 1/2 the way home . I took the cover off and figured out where the wires went and plug it back in .They had to order a new Monitor and they got it approved with my service contract. My question is after they finish the repairs would you say some thing to the service manger or not. I think they should know about it but what do you think.