580-723 - phone code, which covers the Oklahoma, Red Rock.