Red Rock is a restaurant offering pizza and other dishes.