You are absolutely right EverWebby. I have encountered the same problem before and I made use of the following options:
1. I was storing a unique ID in the mysql database and what I did is that if the page is refreshed, I would check on the database if this ID has been recorded before. If so I then redirected the user to another page. But Mysql queries are expensive to make, so I will encourage you to use redirection where possible:
2. To implement redirection in PHP you user:
header("location:http://www.mywebsite.com/index.php");
exit;
In this case I redirect the user to my default index.php page.
Hope it helps :-)