Changing the mining algorithm is the nuclear option. It's something some of us could choose to do (hard fork), but not something we would want to do given other options.