Einfache Zufallsstichproben aus einer SQL-Datenbank

Wie nehme ich eine effiziente einfache Zufallsstichprobe in SQL? Auf der betreffenden Datenbank wird MySQL ausgeführt. Meine Tabelle besteht aus mindestens 200.000 Zeilen, und ich möchte eine einfache Zufallsstichprobe von etwa 10.000. Die "offensichtliche" Antwort lautet: SELECT * FROM table...