Five musicals joined the RE library in 2023, and now they'll compete for the year's top honors! Which props, costumes, and actors did Random Encounters fans love most? Let's find out!