Area code MIA: Has anyone actually dialed 725?

Clark County’s second area code went live in 2014, but I have yet to use it.