Why, yes, thank you for asking!  Tom Johnson has written The Ranked Choice Voting Song.  You can sing along here.