I was thinking that I could just do something like "restore factory settings" or something in the BIOS.
Assuming it was installed correctly, that HSF should safely run an i5 750 at 3.7ghz, provided you are not running it in a very hot environment. If you install a simple, free program like CoreTemp, you can monitor the temps. I don't know the i5 750 temp limits (I am sure someone here can help in that regard) but you can see for yourself if it is running too hot.
If you just want to run it at stock anyway, you are completely correct, the Bios will have an option to reset to factory/default settings.