anyone ever seen the bat boy musical? My college put on a production, it was REALLY GOOD!