you could do something fancy like have javascript execute on page load that makes the picklist have the value of the php variable $_POST['round']

example:
window.onload = function() {
  document.getElementById("select-choice-mini").value=<?php echo $_POST['round] ?>;
};

I don't know if jquery will mess with javascript the way I've been encountering while doing the error handling but that would work ^