Meh, if it takes longer to sharpen it usually stays sharp longer. That's how I look at it.
I kind of look at it that way, too. But I'd portray it as kind of a false economy. One way or another, the effort has to be put in. There's still no free lunch, and "higher end" steels are for knife nuts/snobs who are interested in HRc numbers more as an academic exercise of for bragging rights.
In any event, AUS8 and 8cr13mov are both fine and capable steels that allow the cutting performance to be increasingly determined by other factors, such as geometry.