The book below labels the point 5524 at coordinates 37.2591,-111.9235 as Yellow Rock (264' prominence):
https://www.amazon.com/Hiking-Exploring ... 0944510337
Local maps as well as the same book label this peak as Castle Rock:
https://listsofjohn.com/peak/22738