You can always just copy & paste it into a text file which you can name update.sql and then use it like you would any normal update.