Ah, sorry, my mistake.
This can;t be done inside the database without changing the query (a lot)
I guess the simplest would be to fetch the data from the table,
put them into an array
$aArray = array(opt1, opt2, opt3, opt4);
Then randomize the order:
shuffle($aArray);
and then print them to the screen.