Randomize logo image on refresh

Hello! I would like my website to randomly load different images for the logo (the same logo in different color schemes), much like the “randomize header” option on Amadeus but for the logo itself.

My problem is that I don’t know enough php to call up the randomize header function and apply it to the logo, if that’s even possible… I’ve been trying to figure it out on my own and I ended up coming here in defeat.

Can someone point me in the right direction, or tell me what I should add or change in the theme code?

Thank you!!